Logic Programming
Motivation.
Predicate Logic
Clause Form.
Horn Clauses.
A backtracking Horn-clause resolver.
Sample logic programs.
Next slide
Back to first slide
View graphic version