Commit Log

commit description author date
f872f5b60d73 ACTUALLY add some tests from TAOP Steve Losh 2016-07-23
4abb7eda96cb Add some tests from TAOP Steve Losh 2016-07-23
3325913a9b16 Add `put-void` Steve Losh 2016-07-22
582f7076626b Change `(values)` to `nil` Steve Losh 2016-07-17
ba96e98a1d54 Add precompilation of static queries at compile time Steve Losh 2016-07-17
aacf9ee4fddc Port some of the '99 Prolog Problems' to Bones as unit tests Steve Losh 2016-07-17
62c76cc272e7 Switch a couple of `mapcar`s to `mapc`s Steve Losh 2016-07-16
8a247663fec5 Remove optima Steve Losh 2016-07-16
6c90a65137d9 Remove defstar Steve Losh 2016-07-16
5593ae4bcb5c Remove return declarations Steve Losh 2016-07-16
2a2765e8f0f5 Add a few more type declarations Steve Losh 2016-07-16
f1ef8f905a1d Split functor cells into separate functor and arity cells Steve Losh 2016-07-16
ec2fab887b0f Constant can just use the functor symbol directly Steve Losh 2016-07-15
c4dd0b6c3a91 Remove unused arguments Steve Losh 2016-07-15
a8598eafe403 Remove the god damn functor table Steve Losh 2016-07-15
9d42a27624fd `tree-collect` is slow and conses a ton Steve Losh 2016-07-15
82413ba524d8 De-CLOS the register assignments Steve Losh 2016-07-15
e555488c15e6 De-CLOS the parse tree Steve Losh 2016-07-15
a095d20eeebc Split up the damn compiler.lisp file Steve Losh 2016-07-15
5edeeac89e03 Add numbers Steve Losh 2016-07-15
1411666a60f8 Clean up the examples a bit, still needs a lot of work Steve Losh 2016-07-15
c547c69d5405 Minor cleanup Steve Losh 2016-07-15
100ba597fd85 Add a beast of a macro to clean up/optimize the hot loop Steve Losh 2016-07-14
5c914fbcb042 Switch to 1am, test under ECL too Steve Losh 2016-07-14
8cfac0fbe30d Inline a function and use eq hash Steve Losh 2016-07-13
eec2064a08b6 Put the actual functor conses into the store Steve Losh 2016-07-13
31305584b29b Split apart the main WAM store into separate type/value arrays Steve Losh 2016-07-13
184e610451c0 Initial poke at Lispifying the code store Steve Losh 2016-07-12
a02637eeccca Add Hanoi test from tAoP Steve Losh 2016-07-12
6adb44b99131 Comment the logic stack section a tiny bit Steve Losh 2016-07-12
eda9b4d218f4 Remove useless inline declarations Steve Losh 2016-07-12
df9962950d28 Elide the unnecessary ALOC/DEAL from chain rules Steve Losh 2016-07-12
2ce458ef85fd Implement last call optimization Steve Losh 2016-07-12
cb3cc671d18d Beef up the PAIP queues a bit and (ab)use them in the compiler Steve Losh 2016-07-11
401cba673bda Simplify and optimize register allocation just a bit Steve Losh 2016-07-11
789aa5540746 Make instructions inlineable Steve Losh 2016-07-11
ab7ad2d6f641 Optimize `find-anonymous-variables` Steve Losh 2016-07-11
d2ede3f3926a Save the god damn frames Steve Losh 2016-07-11
8ea123b6d26f Inline the trail pointer functions Steve Losh 2016-07-11
c76d55908e2e Optimize circles a bit Steve Losh 2016-07-11
96258fb7be70 Type hint the compiler Steve Losh 2016-07-11
abffacd7848a Merge the code I accidentally branched off because I'm an idiot Steve Losh 2016-07-11
3b0161d2100d Refactor the main WAM store into a `simple-array` Steve Losh 2016-07-11
23d4dc2900a1 Refactor the code store to use a simple-array Steve Losh 2016-07-11
7bd5fdb2151d Don't ever use this Steve Losh 2016-07-11
d6b6684d6b7b Turn `instruction-size` into a neat little lookup table Steve Losh 2016-07-11
2a7cb53fb03f Clean up the GGP a tiny bit Steve Losh 2016-07-11
4d17e3cb6fa2 Type-hint the WAM `setf` functions Steve Losh 2016-07-10
8cd3257c58e3 Name the subterm-handling instructions something not completely stupid Steve Losh 2016-07-10
ba205f6b2875 Excise the stupid fucking `set-*` opcodes Steve Losh 2016-07-10
07e1d5f315f5 Fix constant unification Steve Losh 2016-07-09
92c590f78133 Pool logic frames to avoid creating so many hash tables Steve Losh 2016-07-09
8c853f632f8c Clean up and fix the anonymous variable handling Steve Losh 2016-07-08
2415dbe555d2 Export symbols and add a few sanity checks Steve Losh 2016-07-08
55019395ba93 Normalize facts and queries because people are lazy Steve Losh 2016-07-06
f7b7440c46ff Clean up the rule UI too Steve Losh 2016-07-06
0955ab257fef Clean up the UI Steve Losh 2016-07-06
be83cfc938fb Add profile.out to .hgignore. Steve Losh 2016-07-06
a3466a551136 Don't cons lists of numbers, jesus christ Steve Losh 2016-07-05
209ecb9eeb25 Use a queues instead of lists for the logic frame pending predicates Steve Losh 2016-07-05
9086482c09ee Rename "code frame" to "logic frame" Steve Losh 2016-07-05
410acaae0c14 Implement logic frames for assertion/retraction Steve Losh 2016-07-05
6a93a2d2ed60 Clean up formatting Steve Losh 2016-07-05
89df9abc00e5 Add a handy disassembly macro Steve Losh 2016-07-05
970e21fa14b0 Implement anonymous variables and the `*_void` opcodes Steve Losh 2016-07-04
d255816ad1d0 Switch from `:keyword` variables to `?symbol` ones Steve Losh 2016-07-03
802872f9505a Add AIPS Rovers example Steve Losh 2016-06-30
4520c6449f48 Add Towers of Hanoi GDL example Steve Losh 2016-06-30
13136d4b4761 Run the tests on CCL too Steve Losh 2016-06-30
05ce726f2874 Comment the `bind!` thing a bit more Steve Losh 2016-06-29
de6e248866f4 Implement dynamic calling and fix `bind!` Steve Losh 2016-06-29
792dfa2f9120 Clean up opcode definition Steve Losh 2016-06-29
809f43baf982 Fix a pair of really nasty bugs Steve Losh 2016-06-10
72bbdd515725 Rewrite the compiler Steve Losh 2016-06-07
796ef7444a29 Fix docstring to be more clear Steve Losh 2016-06-05
c1641cd6368f Add constant dump info Steve Losh 2016-06-05
17beafee7d45 Typos Steve Losh 2016-06-05
e244881864f7 Implement cut Steve Losh 2016-06-05
e8934091b7bb Implement Prolog lists Steve Losh 2016-06-02
a696be29e830 Update benchmarks a bit Steve Losh 2016-06-02
83f309e6e33a Try out actual PAIPROLOG Steve Losh 2016-05-19
df5a19b5f4c7 Try out the fixed store size. fixed-size-store Steve Losh 2016-05-15
95d0602ff36b Begin inlining things Steve Losh 2016-05-15
27f037427ad3 Add the first optimization pass: constants Steve Losh 2016-05-14
0b8e6d6401c2 Make the compiler use a circle for the instruction list Steve Losh 2016-05-14
14de0f74d3e2 Add a circle data structure Steve Losh 2016-05-13
c77968cd3c51 Split apart compilation into precompile/render phases Steve Losh 2016-05-12
12b69e64ece1 Add constant cells (unused for now) Steve Losh 2016-05-10
0a4b04d4dfa7 Reserve an extra tag bit for the coming optimizations Steve Losh 2016-05-10
b073c3d4a7a9 Don't put structure cells on the heap Steve Losh 2016-05-10
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