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 |
c60cac27a0a7 |
| children |
cb324d188513 |
Bones is a logic programming library for Common Lisp.
**Bones is still in development, don't actually try to use this for anything
yet. It should be usable by mid-2016.**
* **License:** MIT/X11
* **Documentation:** <http://sjl.bitbucket.org/bones/>
* **Code:** <http://bitbucket.org/sjl/bones/>
* **Issues:** <http://bitbucket.org/sjl/bones/issues/>
<img src="https://i.imgur.com/EWPGAHa.gif"
style="border: 1px solid #222; margin: 15px 0px 10px; width: 100%;"/>