We have been surveying a variety of knowledge representations from a conceptual point of view. Now we will move from the conceptual to an actual tool. Such tools tend to combine such "pure" approaches as predicate calculus and production rules into an actual system for developing knowledge-bases and using that knowledge to make inferences or judgment.

We will spend the session looking at Prolog, which is a programming language that uses elements of predicate calculus and production rules.

Luger, G.F., & Stubblefield, W.A. (1993). Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Redwood City, CA: Benjamin/Cummings. [Q335 .L84 1993] pp. 517-523

This reading contains brief introductory material on PROLOG, which I hope will give you a sense of 1) how knowledge is represented and 2) how that knowledge might be used to make inferences.