Prolog (which is derived from the phrase Programming in Logic) is another AI-focused language. Prolog is a declarative language, listing rules and conditions, and then running queries over those ...

Also called a "domain-specific language," a special-purpose language is a programming language designed to solve a finite class of problems. For example, LISP and Prolog were designed for AI.