Slide 14.13: Prolog

Slide 14.12: An example of unification
Slide 14.14: Using Prolog
Home

Prolog

Short for Programming Logic, Prolog is a high-level programming language based on formal logic. Unlike traditional programming languages that are based on performing sequences of commands, Prolog is based on defining and then solving logical formulas.

Prolog consists of a series of rules and facts. A program is run by presenting some query and seeing if this can be proved against these known rules and facts.

Prolog is a declarative or rule-based language because its programs consist of a list of facts and rules. It is a frequently used language in artificial intelligence where manipulation of symbols and inference about them is a common task. The Aerospace School provides two Prolog tools:

GNU Prolog is a free Prolog compiler with constraint solving over finite domains:

gandalf>      

gandalf> gprolog
GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?-

GNU Prolog compiler is a command-line compiler similar in spirit to a Unix C compiler like gcc:

gandalf>      
 
gandalf> gplc -o ancestor ancestor.pro
gandalf> ./ancestor
GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz 
| ?-