pn A functional programming language with a distinctive parenthesized syntax, much used in artificial intelligence.