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 |