Graph
-
Implement a rudimentary heap for the WAM, part 0Thu, 24 Mar 2016 18:51:08 +0000, by Steve Losh
-
Disable the broken PAIPC for nowThu, 24 Mar 2016 15:26:03 +0000, by Steve Losh
-
More grinding through the compiled versionThu, 24 Mar 2016 15:17:51 +0000, by Steve Losh
-
Factor out cl-d-api garbageWed, 23 Mar 2016 17:43:02 +0000, by Steve Losh
-
Initial pass at the compilerTue, 22 Mar 2016 16:46:29 +0000, by Steve Losh
-
Add destructive unificationTue, 22 Mar 2016 14:31:35 +0000, by Steve Losh
-
Add API documentation buildingFri, 18 Mar 2016 13:50:04 +0000, by Steve Losh
-
Improve the testing infrastructure, rename find-allFri, 18 Mar 2016 12:09:36 +0000, by Steve Losh
-
Add backtracking and wildcardsMon, 14 Mar 2016 23:01:26 +0000, by Steve Losh
-
Add scratch.lisp to .hgignore.Mon, 14 Mar 2016 22:59:10 +0000, by Steve Losh
-
Finish basic provingThu, 10 Mar 2016 18:22:56 +0000, by Steve Losh
-
Start on the logic databaseThu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
-
Add variable/binding substitutionWed, 09 Mar 2016 11:48:07 +0000, by Steve Losh
-
Add a couple more unification testsWed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
-
Test the occurs checkWed, 09 Mar 2016 11:33:07 +0000, by Steve Losh
-
Get some basic unification up and runningTue, 08 Mar 2016 15:27:47 +0000, by Steve Losh