Prolog
Prolog is a general purpose logic programming language associated with artificial
intelligence and computational linguistics. Prolog has its roots in formal logic,
and unlike many other programming languages, Prolog
is declarative: The program logic is expressed in terms of relations, represented
as facts and rules. Execution
is triggered by running queries over these relations. The language was first
conceived by a group around
Alain Colmerauer in Marseille, France, in the early 1970s and the first Prolog
system was developed in 1972
by Alain Colmerauer and Phillipe Roussel. Prolog was one of the first logic
programming languages, and
remains among the most popular such languages today, with many free and commercial
implementations
available. While initially aimed at natural language processing, the language has
since then stretched far
into other areas like theorem proving, expert systems, games, automated answering
systems, ontologies and
sophisticated control systems. Modern Prolog environments support the creation of
graphical user interfaces,
as well as administrative and networked applications.
http://en.wikipedia.org/wiki/Prolog