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 |
c60cac27a0a7 |
| children |
cb324d188513 |
eeeee eeeee eeeee eeee eeeee
8 8 8 88 8 8 8 8 "
8eee8e 8 8 8e 8 8eee 8eeee
88 8 8 8 88 8 88 88
88eee8 8eee8 88 8 88ee 8ee88
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/>
License
-------
Copyright 2016 Steve Losh and contributors. Licensed as **MIT/X11**.