|
14e794b02423
|
Prettify the heap printing a bit
|
Steve Losh |
Fri, 25 Mar 2016 11:50:11 +0000 |
|
d2aa6ee9382a
|
Use switch instead of cond, it's cleaner
|
Steve Losh |
Fri, 25 Mar 2016 11:49:46 +0000 |
|
4b07fbd81ee2
|
Define some WAM index types
|
Steve Losh |
Fri, 25 Mar 2016 11:49:06 +0000 |
|
2579f5d00526
|
Move and clean up the functor wrapper functions
|
Steve Losh |
Fri, 25 Mar 2016 11:48:00 +0000 |
|
e2bb4ea1bfe7
|
Add docstrings
|
Steve Losh |
Fri, 25 Mar 2016 11:47:29 +0000 |
|
1ef24327a4cb
|
Add STATUS to .hgignore.
|
Steve Losh |
Fri, 25 Mar 2016 11:44:54 +0000 |
|
49f24c78ecb3
|
Grammaaeareraer
|
Steve Losh |
Thu, 24 Mar 2016 23:13:47 +0000 |
|
2eac9e1aed6d
|
Remove unused function
|
Steve Losh |
Thu, 24 Mar 2016 23:13:11 +0000 |
|
ab4655b23ced
|
Oh shit I've got a WAM
|
Steve Losh |
Thu, 24 Mar 2016 23:08:43 +0000 |
|
f57121ef4229
|
Implement a rudimentary heap for the WAM, part 0
|
Steve Losh |
Thu, 24 Mar 2016 18:51:08 +0000 |
|
06dedca0fd86
|
Disable the broken PAIPC for now
|
Steve Losh |
Thu, 24 Mar 2016 15:26:03 +0000 |
|
c1535003a7e9
|
More grinding through the compiled version
|
Steve Losh |
Thu, 24 Mar 2016 15:17:51 +0000 |
|
9d90efbd8787
|
Factor out cl-d-api garbage
|
Steve Losh |
Wed, 23 Mar 2016 17:43:02 +0000 |
|
3729fdede843
|
Initial pass at the compiler
|
Steve Losh |
Tue, 22 Mar 2016 16:46:29 +0000 |
|
3a8ee0586fdf
|
Add destructive unification
|
Steve Losh |
Tue, 22 Mar 2016 14:31:35 +0000 |
|
2daf5fb2fe92
|
Add API documentation building
|
Steve Losh |
Fri, 18 Mar 2016 13:50:04 +0000 |
|
ae2b13a9a629
|
Improve the testing infrastructure, rename find-all
|
Steve Losh |
Fri, 18 Mar 2016 12:09:36 +0000 |
|
d280326feecc
|
Add backtracking and wildcards
|
Steve Losh |
Mon, 14 Mar 2016 23:01:26 +0000 |
|
5ea3d706d089
|
Add scratch.lisp to .hgignore.
|
Steve Losh |
Mon, 14 Mar 2016 22:59:10 +0000 |
|
5bb73a585f2c
|
Finish basic proving
|
Steve Losh |
Thu, 10 Mar 2016 18:22:56 +0000 |
|
1340243d4843
|
Start on the logic database
|
Steve Losh |
Thu, 10 Mar 2016 15:14:48 +0000 |
|
49191daa42d0
|
Add variable/binding substitution
|
Steve Losh |
Wed, 09 Mar 2016 11:48:07 +0000 |
|
52045b30aab0
|
Add a couple more unification tests
|
Steve Losh |
Wed, 09 Mar 2016 11:36:04 +0000 |
|
a6a6f6361af3
|
Test the occurs check
|
Steve Losh |
Wed, 09 Mar 2016 11:33:07 +0000 |
|
d08be7892816
|
Get some basic unification up and running
|
Steve Losh |
Tue, 08 Mar 2016 15:27:47 +0000 |
|
b22eb7fe2faa
|
Set up a clean namespace for the initial PAIP implementation
|
Steve Losh |
Tue, 08 Mar 2016 12:31:44 +0000 |
|
5e0cca5174a8
|
More 99P
|
Steve Losh |
Tue, 08 Mar 2016 12:16:50 +0000 |
|
22e5e1250898
|
GA the docs
|
Steve Losh |
Mon, 07 Mar 2016 13:39:38 +0000 |
|
c60cac27a0a7
|
Initial commit
|
Steve Losh |
Sat, 05 Mar 2016 23:58:39 +0000 |