Programming with Logic and Constraints
Home | Author | Lectures | Resources


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.
© 2005, Roman Barták