src/make-utilities.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 | 49191daa42d0 |
children | f57121ef4229 |