 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| l |
Prolog 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.
|
|
|
| l |
Unification
is a built-in term-manipulation method
|
|
|
that passes
parameters, returns results, selects and
|
|
|
constructs data
structures.
|
|
|
| l |
Basic control
flow model is backtracking.
|
|
|
| l |
Program
clauses and data have the same form.
|
|
|
|
– |
A Prolog program
can also be seen as a relational database
|
|
containing rules
as well as facts.
|
|
