Logic Programming

Outline:

Motivation.

Examples: The Grandmother relation.

Formulation in Prolog.

Formulation using Lisp syntax (Mock Prolog).

List manipulation using logic.

Logic, clauses, and Horn clauses.

Unification.

The Backtracking Search Resolver.

Next slide

Back to first slide

View graphic version