test/bones.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.

(in-package #:bones-test)

(def-suite :bones)
(in-suite :bones)