Programming Knowledge with Frames and Logic

About this tutorial

This is a 3-day tutorial with the following approximate schedule. We assume a reasonably good understanding of the Prolog language and some knowledge of Deductive Databases (see preliminary reading below). The tutorial consists of two main parts:

• Part 1: Foundations. Covers the basics of F-logic, HiLog, Transaction Logic, top-down execution strategy, and tabling
  Powerpoint version
• Part 2: Programming in Flora-2. Covers the main parts of the Flora-2 environment and shows how the foundational concepts described in Part 1 of the tutorial are embodied in a concrete knowledge-base programming language
  Powerpoint version

Part 2 of the tutorial uses a large number of little examples that illustrate various subtle points of Flora-2. These examples are found here; they are referred to on the slides.

The tutorial includes three homeworks and additional "fun" problems. The homeworks are found here.

If you prefer, the entire tutorial can be downloaded in one tar archive, including the slides, exercises, and solutions.

Background reading

Bratko, Prolog Programming for Artificial Intelligence. Addison-Wesley, 2000.

Ullman, Principles of Database and Knowledge-base Systems, Vol. I. Chapter 3; Vol. II, Chapters 12, 13. W.H. Freeman, 1990.

Further reading

Works mentioned in the tutorial are summarized here.