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 ...