Graph
-
Split the WAM into component files2016-03-25, by Steve Losh
-
Clean up and add a few comments, and add a bit more type hinting2016-03-25, by Steve Losh
-
Store functors so we can print them later2016-03-25, by Steve Losh
-
Document the heap cell format a bit2016-03-25, by Steve Losh
-
Move scratch garbage into the scratch file2016-03-25, by Steve Losh
-
Clean up some of the WAM code/interface2016-03-25, by Steve Losh
-
Prettify the heap printing a bit2016-03-25, by Steve Losh
-
Use switch instead of cond, it's cleaner2016-03-25, by Steve Losh
-
Define some WAM index types2016-03-25, by Steve Losh
-
Move and clean up the functor wrapper functions2016-03-25, by Steve Losh
-
Add docstrings2016-03-25, by Steve Losh
-
Add STATUS to .hgignore.2016-03-25, by Steve Losh
-
Grammaaeareraer2016-03-24, by Steve Losh
-
Remove unused function2016-03-24, by Steve Losh
-
Oh shit I've got a WAM2016-03-24, by Steve Losh
-
Implement a rudimentary heap for the WAM, part 02016-03-24, by Steve Losh
-
Disable the broken PAIPC for now2016-03-24, by Steve Losh
-
More grinding through the compiled version2016-03-24, by Steve Losh
-
Factor out cl-d-api garbage2016-03-23, by Steve Losh
-
Initial pass at the compiler2016-03-22, by Steve Losh
-
Add destructive unification2016-03-22, by Steve Losh
-
Add API documentation building2016-03-18, by Steve Losh
-
Improve the testing infrastructure, rename find-all2016-03-18, by Steve Losh
-
Add backtracking and wildcards2016-03-14, by Steve Losh
-
Add scratch.lisp to .hgignore.2016-03-14, by Steve Losh
-
Finish basic proving2016-03-10, by Steve Losh
-
Start on the logic database2016-03-10, by Steve Losh
-
Add variable/binding substitution2016-03-09, by Steve Losh
-
Add a couple more unification tests2016-03-09, by Steve Losh
-
Test the occurs check2016-03-09, by Steve Losh
-
Get some basic unification up and running2016-03-08, by Steve Losh
-
Set up a clean namespace for the initial PAIP implementation2016-03-08, by Steve Losh
-
More 99P2016-03-08, by Steve Losh
-
GA the docs2016-03-07, by Steve Losh
-
Initial commit2016-03-05, by Steve Losh