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 |
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")))))