normal.lisp       converting formulas to conjunctive normal form
linear.lisp       complete, linear-time, goal-reduction algorithm
logic.lisp        implementing prolog and writing logic programs
prolog.lisp       implementing prolog and writing logic programs
rules.lisp        implementing prolog and writing logic programs
