|
dfba7d90a8a5
|
Render doc
|
Steve Losh |
Mon, 28 Mar 2016 17:52:48 +0000 |
|
0432f016c912
|
WHAT HATH GOD WROUGHT
|
Steve Losh |
Mon, 28 Mar 2016 00:43:24 +0000 |
|
0b1008a7fe76
|
Fiddle with and document the unification instructions a bit
|
Steve Losh |
Sun, 27 Mar 2016 22:30:52 +0000 |
|
87afb11b9791
|
Add a function for extracting things from the heap
|
Steve Losh |
Sun, 27 Mar 2016 22:25:43 +0000 |
|
d80af96eaf15
|
Rewrite registers to be addresses, not cells
|
Steve Losh |
Sun, 27 Mar 2016 18:32:37 +0000 |
|
e38bc4395d65
|
Blur the lambdas, and fix the instruction argument order
|
Steve Losh |
Sat, 26 Mar 2016 22:53:28 +0000 |
|
7447809d31ad
|
More work on L0, a bit of cleanup
|
Steve Losh |
Sat, 26 Mar 2016 20:40:23 +0000 |
|
a9bdea1a9564
|
Clean up topological-sort
|
Steve Losh |
Sat, 26 Mar 2016 19:30:09 +0000 |
|
d4ba6547d8a1
|
Fix up docstring
|
Steve Losh |
Sat, 26 Mar 2016 19:21:05 +0000 |
|
fcec9e0c9c67
|
Fix the topological sorting
|
Steve Losh |
Sat, 26 Mar 2016 19:19:07 +0000 |
|
859a6c1314d3
|
Add a few comments and a pair of utility functions for the WAM heap
|
Steve Losh |
Sat, 26 Mar 2016 12:21:56 +0000 |
|
68ed4af71452
|
Fix flet/labels indentation before I lose my mind
|
Steve Losh |
Sat, 26 Mar 2016 12:02:43 +0000 |
|
765efa56a965
|
Split the WAM into component files
|
Steve Losh |
Fri, 25 Mar 2016 18:52:21 +0000 |
|
95d96065aa82
|
Clean up and add a few comments, and add a bit more type hinting
|
Steve Losh |
Fri, 25 Mar 2016 18:40:46 +0000 |
|
dfbea0e60b46
|
Store functors so we can print them later
|
Steve Losh |
Fri, 25 Mar 2016 18:10:03 +0000 |
|
48e1170dba5c
|
Document the heap cell format a bit
|
Steve Losh |
Fri, 25 Mar 2016 18:09:23 +0000 |
|
cf844914bdee
|
Move scratch garbage into the scratch file
|
Steve Losh |
Fri, 25 Mar 2016 11:53:03 +0000 |
|
203653ce4866
|
Clean up some of the WAM code/interface
|
Steve Losh |
Fri, 25 Mar 2016 11:51:13 +0000 |
|
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 |