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.
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Thu, 10 Mar 2016 18:22:56 +0000 |
| parents |
d08be7892816 |
| children |
3a8ee0586fdf |
(asdf:defsystem #:bones
:name "bones"
:description "A logic programming library for Common Lisp."
:author "Steve Losh <steve@stevelosh.com>"
:maintainer "Steve Losh <steve@stevelosh.com>"
:license "MIT/X11"
:version "0.0.1"
:depends-on (#:defstar
#:optima
#:trivial-types
#:fare-quasiquote-optima
#:fare-quasiquote-readtable)
:serial t
:components ((:file "src/utils") ; quickutils package ordering crap
(:file "package")
(:module "src"
:components ((:file "paip")
(:file "bones")))))