(from the article `computer programming language`) Declarative languages, also called nonprocedural or very high level, are programming languages in which (ideally) a program specifies what is to be ... ...made LISP a popular language for artificial intelligence applications, although it has been somewhat superseded by logic programming...