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 |