EE 4785 : Prolog Code

For additional Prolog examples see homework and exam solutions.

Classroom Examples

Philosopher Example

Very simple program used to introduce Prolog. File Name: phil.pro.

Goes Together

Code which matches a food and a beverage that taste good together. File Name: gT.pro.

Basic List Procedures

Code for basic list processing: member, append, insert, and concat. Presented in class from 2 and 5 February 1996. File Name: lists.pro.

Context-Free Language Recognition

Three implementations of the code which constructs a sentence in a context-free languages. Grammar for breakfast included. Code also described in Section 3.6 of Programming in Prolog (Clocksin and Melish). Presented in class 7 to 12 February 1996. File Name: cfl.pro.

Safe Is

The safeIs code described in class. Presented in class 23 February 1996. File Name: sI.pro.

C++-Like Insertion Operator

Definition of a print operator that works like the C++ insertion operator. Can be used to send output to the terminal or to a variable. Presented in class 28 February 1996. File Name: str.pro.

CD Database

Prolog code used to access a database of compact disks. Includes sample data. File Name: cds.pro.

Question-Asking Procedures

Prolog code for asking users questions and verifying answers. Used by ES shells below. File Name: ask.pro.

Miscellaneous Procedures

List-processing and other routines used by shells. File Name: stdStuff.pro.

Decision Tree Shell

Decision tree shell. Includes rules for identifying an animal. Presented in class 6 March 1996. File Name: dt.pro.

Backward-Chaining Propositional Logic Shell

The simple backward-chaining propositional logic shell. Presented in class 8 March 1996. File Name: shellPropBC.pro.

Animal Identification Rules for BC PL Shell

Rules for the backward-chaining propositional logic shell used for identifying an unknown animal. Based on the rules in the Artificial Intelligence (Winston) textbook. File Name: sbcWin.

Backward Chaining OAV Shell

A backward-chaining shell based on object-attribute-value triples. Documentation is available in Postscript and html. File Name: shellOAVbc.pro.

Documentation Examples

The sample rules from the BC OAV shell documentation. File Name: shellOAVec.pro.

Simple Picky-Eater Rules

Rules for the BC OAV shell. Determines if a menu has anything a picky eater will eat. File Name: roPE.pro.

Better Picky-Eater Rules

Rules for the BC OAV shell.. Determines if a menu has anything a picky eater will eat. Unlike simple version, will ask about unknown foods. File Name: roPE2.pro.

Mysin

Rules for the BC OAV shell. Evaluates a potential political candidate's electability using real-life criteria.' File Name: roMysin.pro.