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 the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.