test/run.lisp @ 1340243d4843

Start on the logic database

Stalled on the variable renaming part.  Going to try to implement Norvig's
suggestion of maintaining two binding lists in unify.

(let ((*standard-output* (make-broadcast-stream)))
  (ql:quickload "bones-test"))


(5am:run! :bones)
(5am:run! :bones.paip)