package.lisp @ 5bb73a585f2c

Finish basic proving

I gave up on making the renameless unification work because I'm just too dumb to
understand it.  Gonna throw this all away when I hit the WAM book anyhow, so
it's not worth wasting time on.  Maybe I'll come back to it later if I have
time.

(defpackage #:bones
  (:use #:cl)
  (:export #:hello))

(defpackage #:bones.paip
  (:use #:cl #:defstar #:bones.utils)
  (:export #:unify
           #:fail #:no-bindings
           #:*check-occurs*
           #:clear-db
           #:fact #:rule
           #:find-all #:query))