|
| 8.
8. 2005 |
Programming
with logic
foundations of Prolog, facts, rules, and queries |
|
|
| 9.
8. 2005 |
Extensions
to pure Prolog
lists and arithmetic, cut, negation, and blackboard |
|
|
| 10.
8. 2005 |
From
unification to constraints
consistency techniques, programming filtering algorithms |
|
|
| 11.
8. 2005 |
Programming
depth-first search
incomplete search techniques, branch and bound |
|
|
| 12.
8. 2005 |
Modeling with constraints
modeling examples |
|
|
|
Presented
Prolog programs should be executable on any ISO standard Prolog system.
Programs with constraints are written
for SICStus Prolog so they might need some conversion for other systems
that support constraints. |
