Prolog

 Prolog (Programmation en Logique), which originated from the work of Alain Colmerauer and Phillipe Roussel, incorporates some of the language of mathematical logic and relies on resolution theorem proving based on the unification algorithm. It is the most generally used logic programming language and constitutes a premier tool for Artificial Intelligence research and applications.

Documentation:

  

• SICStus Prolog User's Manual - see also at SICS ;

• ``Programming in Prolog'', Clocksin and Mellish [1994], and ``The Art of Prolog'', Sterling and Shapiro [1994], are two useful books on Prolog programming.
  

Newsgroup:

  

• comp.lang.prolog
  

Useful Links:

  

• Intelligent Systems Laboratory of the Swedish Institute of Computer Science (SICS);

• WWW Virtual Library Prolog Resources ;

• Prolog Repository at Carnegie Mellon University (CMU);

• COMPULOG NET , the European Network of Excellence in Computational Logic.