Commit Log

commit description author date
9becedc43e4d I can't spell Steve Losh 2016-05-10
6392237bf417 Typo Steve Losh 2016-05-10
6f08985f19af THE CELLING Steve Losh 2016-05-09
b02a1a9684c2 Privilege heap address 0 as a magic unset sentinal value Steve Losh 2016-05-09
4050f38d9715 Rename `heap-cell` to just `cell` Steve Losh 2016-05-09
b36cb61805d4 THE CONCATENING Steve Losh 2016-05-08
d26fa87611c0 Purge compiled CL code before benchmarking Steve Losh 2016-05-02
5503ccfaae65 THE STRUCTENING Steve Losh 2016-05-02
1fea3b65a964 Add bench-results.txt to .hgignore. Steve Losh 2016-05-02
ceecc846dd67 Add a benchrunner Steve Losh 2016-05-02
d8d6647dd9fb Add a similar awful benchmark for the PAIP implementation Steve Losh 2016-05-02
4d33f11b074f Add a barebones GGP test case so we can start poking at performance Steve Losh 2016-04-30
3c8bbc73e9e1 Fix fresh db macro Steve Losh 2016-04-28
1184d75b21fe Cleanup Steve Losh 2016-04-24
00f7bec64b84 Add some tests Steve Losh 2016-04-24
f3ed7ce70f3b Improve the UI a bit Steve Losh 2016-04-24
678ab674bd33 Add result returning Steve Losh 2016-04-22
53d629a6aa69 Add done-thunk and use it for query interaction Steve Losh 2016-04-22
79abff72987d I give up on remembering the name of this file Steve Losh 2016-04-22
a97a1fd92f94 Implement choice points and backtracking Steve Losh 2016-04-20
dc6892a9a406 Stop using the fill pointer for the stack Steve Losh 2016-04-20
1ab41e0128dc Add the TRY* instructions to compilation Steve Losh 2016-04-20
67535b9c3b86 Implement proper result extraction Steve Losh 2016-04-19
5085c5254515 Where the hell did this go? Steve Losh 2016-04-19
d8dc03903456 Put query code into the front of the main CODE store to run Steve Losh 2016-04-18
fb3a334a14f3 Refactor the shared variables copypasting Steve Losh 2016-04-18
e45304805b40 Update tokenization comment Steve Losh 2016-04-18
5962c575282f Make all the arrows in comments consistent Steve Losh 2016-04-18
f3aa63a7ee45 Todone Steve Losh 2016-04-18
7564d7862350 Typo Steve Losh 2016-04-18
b157bf8168a2 Document the nightmare Steve Losh 2016-04-18
902d171a1a85 Remove unnecessary stack/structure opcodes Steve Losh 2016-04-18
ce87039ad178 Make L2 work properly Steve Losh 2016-04-17
15db57524dd3 Fix the interpreter and add a simple UI Steve Losh 2016-04-16
b8bc9b175636 Rename a few files Steve Losh 2016-04-16
ac5c1bfbe50a Update the VM instructions to use register designators Steve Losh 2016-04-16
2f0b5c92febe Implement (mostly) register designators Steve Losh 2016-04-16
f0f0c180ae1d Add a REAL janky result extractor Steve Losh 2016-04-15
1dd07907df49 Implement the stack, register designators, and track permanent vars Steve Losh 2016-04-15
fa262e6111e9 Refactor the parsing and register assignment Steve Losh 2016-04-14
7627f8976a3e "Pre-inline" the structure argument register assignments Steve Losh 2016-04-14
9376531b5089 Fix macro quoting Steve Losh 2016-04-14
d16b5b360398 Fix up `push-if-new` with setf/places macromancy Steve Losh 2016-04-14
fdb771cc2b8c Start working on L2 Steve Losh 2016-04-13
99abd362620a Add the program runner Steve Losh 2016-04-10
c97b74976098 Add code labels and implement the new program instructions Steve Losh 2016-04-10
564c709801aa Implement the query code runner Steve Losh 2016-04-10
e29b793a6e91 Rename the utils files Steve Losh 2016-04-10
51022d18e98f First stab at compiling L1 -- not ready yet Steve Losh 2016-04-10
6138ec555cde Change functor representation Steve Losh 2016-04-05
6dc3f4e03454 Start working on the bytecode generation Steve Losh 2016-04-01
ea71bdab6baa Deal with the L1 register assignment mess Steve Losh 2016-04-01
bbbc9030a316 Improve the code dumping function Steve Losh 2016-03-31
8a18f9b3bb72 Add the code store to the WAM (unused right now) Steve Losh 2016-03-30
894cac6a43fa Make the WAM heap resizable Steve Losh 2016-03-30
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