Commit Log

commit description author date
6b2403fb07d8 Add break to run Steve Losh 2016-03-29
3ac6e0d897af Poke at GGP a bit Steve Losh 2016-03-28
dfba7d90a8a5 Render doc Steve Losh 2016-03-28
0432f016c912 WHAT HATH GOD WROUGHT Steve Losh 2016-03-28
0b1008a7fe76 Fiddle with and document the unification instructions a bit Steve Losh 2016-03-27
87afb11b9791 Add a function for extracting things from the heap Steve Losh 2016-03-27
d80af96eaf15 Rewrite registers to be addresses, not cells Steve Losh 2016-03-27
e38bc4395d65 Blur the lambdas, and fix the instruction argument order Steve Losh 2016-03-26
7447809d31ad More work on L0, a bit of cleanup Steve Losh 2016-03-26
a9bdea1a9564 Clean up topological-sort Steve Losh 2016-03-26
d4ba6547d8a1 Fix up docstring Steve Losh 2016-03-26
fcec9e0c9c67 Fix the topological sorting Steve Losh 2016-03-26
859a6c1314d3 Add a few comments and a pair of utility functions for the WAM heap Steve Losh 2016-03-26
68ed4af71452 Fix flet/labels indentation before I lose my mind Steve Losh 2016-03-26
765efa56a965 Split the WAM into component files Steve Losh 2016-03-25
95d96065aa82 Clean up and add a few comments, and add a bit more type hinting Steve Losh 2016-03-25
dfbea0e60b46 Store functors so we can print them later Steve Losh 2016-03-25
48e1170dba5c Document the heap cell format a bit Steve Losh 2016-03-25
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
5e0cca5174a8 More 99P Steve Losh 2016-03-08
22e5e1250898 GA the docs Steve Losh 2016-03-07
c60cac27a0a7 Initial commit Steve Losh 2016-03-05