11.3 PROLOG

PROLOG was invented in early seventies by Alain Colmerauer in France and Robert Kowalski in Britain. Prolog = Programming in Logic. Prolog is a declarative programming language unlike most common programming languages like C, C++, Java, which are imperative and procedural. Being a declarative language, the PROLOG programmer specifies a goal to be achieved and the PROLOG system works out how to achieve it. PROLOG can also be used to build a relational database. Some applications of PROLOG are:

  • intelligent database retrieval,
  • natural language understanding,
  • expert systems,
  • specification language,
  • machine learning,
  • robot planning,
  • automated reasoning,
  • problem solving.

11.3.1 A Short Introduction to PROLOG

PROLOG programs specify relationships ...

Get Compilers: Principles and Practice now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.