Demonstration of Prolog backtracking
Demonstration proof of equivalence of two Prolog rule forms
Example rearrangement of predicate calculus to get a Prolog rule (1)
Example rearrangement of predicate calculus to get a Prolog rule (2)
Proof of equivalence for one form of embedded implication
Example of the box diagram for an inheritance inference
Demonstration of rule-cycle hybrid chaining
Demonstration of building a decision lattice
Comparison demonstration of four search methods finding routes from Monterey to San Francisco Demonstration of A* search for firefighting Demonstration of means-ends analysis for firefighting Demonstration of concept learning about an appleZip file of all the example programs
Prolog tutor program -- change its extension to .pl after you download it
Data file for Prolog tutor -- change its extension to .pl
List of 21,000 common English words (used by destemmer)
List of some military abbreviations
List of some common misspellings
Synonyms list used by MARIE-4 (Prolog format)
Main lexicon used by MARIE-4 (Prolog format)
Notes on Gnu Prolog installation on a Macintosh
Basic means-ends program for HW -- change its extension to .pl
Means-ends tutoring program for HW -- change its extension to .pl
Program to calculate byte distribution of a file
A* search program in Python (change its extension to .py before using)
The housekeeping definitions for Python
Sample of log files from the RDC corpus
Some simple Python programs for CSV files
Python program to flag unnecessary wording (deadwood) in text files