1 Facts, Rules, and Queries

This introductory lecture has two main goals:

  1. To give some simple examples of Prolog programs. This will introduce us to the three basic constructs in Prolog: facts, rules, and queries. It will also introduce us to a number of other themes, like the role of logic in Prolog, and the idea of performing matching with the aid of variables.

  2. To begin the systematic study of Prolog by defining terms, atoms, variables and other syntactic concepts.

Patrick Blackburn, Johan Bos and Kristina Striegnitz
Version 1.2.5 (20030212)