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.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Thu, 10 Mar 2016 15:14:48 +0000 |
| parents |
b22eb7fe2faa |
| children |
f3ed7ce70f3b |
(asdf:defsystem #:bones-test
:description "Test suite for bones."
:author "Steve Losh <steve@stevelosh.com>"
:license "MIT/X11"
:depends-on (#:bones
#:fiveam)
:serial t
:components ((:file "package-test")
(:module "test"
:components ((:file "bones")
(:file "paip")))))