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