Graph
-
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