Arithmetic Axiomatization, number.pl, This knowledge base provides a very simple axiomatizations of some functions in Peano arithmetic, where numbers are defined recursively, using 0 as the base and a successor function s(X).
A Biblical Family Database, simple.pl, This knowledge base represents some very basic information about the family relationships of some biblical characters.
A Course Database, course.pl, The course database contains a few facts about student enrollment in computer science and mathematics classes.
An Electrical System, elect.pl, A model of a wiring system in a house is axiomatized with information about wire connectivity, switches, and lights.
Times of The Day, times.pl, This is a simple knowledge base that determines which times of the day (given using a 12 hour clock) precede which other times.
A Floor Plan, west.pl, The domain here is the plan for a floor containing eight rooms. It contains information about which rooms are beside which other rooms.
List Operations, lists.pl, This knowledge base consists of functions to perform list operations, such as member, append, etc.
Search Applet Graph, mod4.pl, This is intended to build a search tree that is equivalent to the Module 4 graph in the search applet. The proof trees you get correspond to the paths from start to goal nodes.
