Commit Log

commit description author date
cf844914bdee Move scratch garbage into the scratch file Steve Losh 2016-03-25
203653ce4866 Clean up some of the WAM code/interface Steve Losh 2016-03-25
14e794b02423 Prettify the heap printing a bit Steve Losh 2016-03-25
d2aa6ee9382a Use switch instead of cond, it's cleaner Steve Losh 2016-03-25
4b07fbd81ee2 Define some WAM index types Steve Losh 2016-03-25
2579f5d00526 Move and clean up the functor wrapper functions Steve Losh 2016-03-25
e2bb4ea1bfe7 Add docstrings Steve Losh 2016-03-25
1ef24327a4cb Add STATUS to .hgignore. Steve Losh 2016-03-25
49f24c78ecb3 Grammaaeareraer Steve Losh 2016-03-24
2eac9e1aed6d Remove unused function Steve Losh 2016-03-24
ab4655b23ced Oh shit I've got a WAM Steve Losh 2016-03-24
f57121ef4229 Implement a rudimentary heap for the WAM, part 0 Steve Losh 2016-03-24
06dedca0fd86 Disable the broken PAIPC for now Steve Losh 2016-03-24
c1535003a7e9 More grinding through the compiled version Steve Losh 2016-03-24
9d90efbd8787 Factor out cl-d-api garbage Steve Losh 2016-03-23
3729fdede843 Initial pass at the compiler Steve Losh 2016-03-22
3a8ee0586fdf Add destructive unification Steve Losh 2016-03-22
2daf5fb2fe92 Add API documentation building Steve Losh 2016-03-18
ae2b13a9a629 Improve the testing infrastructure, rename find-all Steve Losh 2016-03-18
d280326feecc Add backtracking and wildcards Steve Losh 2016-03-14
5ea3d706d089 Add scratch.lisp to .hgignore. Steve Losh 2016-03-14
5bb73a585f2c Finish basic proving Steve Losh 2016-03-10
1340243d4843 Start on the logic database Steve Losh 2016-03-10
49191daa42d0 Add variable/binding substitution Steve Losh 2016-03-09
52045b30aab0 Add a couple more unification tests Steve Losh 2016-03-09
a6a6f6361af3 Test the occurs check Steve Losh 2016-03-09
d08be7892816 Get some basic unification up and running Steve Losh 2016-03-08
b22eb7fe2faa Set up a clean namespace for the initial PAIP implementation Steve Losh 2016-03-08