package-test.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.
author | Steve Losh <steve@stevelosh.com> |
---|---|
date | Thu, 10 Mar 2016 15:14:48 +0000 |
parents | a6a6f6361af3 |
children | e29b793a6e91 |