|
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 |