10 Mar 2005
CS 3243 - FOL and Prolog
30
Prolog Features
lProlog
uses logical variables. These are not the same as variables in other languages.
Programmers can
use them as ‘holes’ in data structures that are gradually filled in as computation
proceeds.
lUnification is a built-in term-manipulation method that passes parameters, returns results,
selects and constructs
data structures.
lBasic control flow model is backtracking.
lProgram clauses and data have the same form.
–A
Prolog program can also be seen as a relational database containing rules as well as facts.