Logic Programming Theory and Examples

Example: A prerequisite relation.

Lists in Prolog

Predicate logic

Clause form.

Horn clauses.

A backtracking Horn-clause resolver.

Sample logic programs.

Next slide

Back to first slide

View graphic version