Graph
-
Name the subterm-handling instructions something not completely stupidSun, 10 Jul 2016 14:28:48 +0000, by Steve Losh
-
Excise the stupid fucking `set-*` opcodesSun, 10 Jul 2016 14:21:18 +0000, by Steve Losh
-
Fix constant unificationSat, 09 Jul 2016 21:51:02 +0000, by Steve Losh
-
Pool logic frames to avoid creating so many hash tablesSat, 09 Jul 2016 21:03:01 +0000, by Steve Losh
-
Clean up and fix the anonymous variable handlingFri, 08 Jul 2016 18:14:05 +0000, by Steve Losh
-
Export symbols and add a few sanity checksFri, 08 Jul 2016 17:03:54 +0000, by Steve Losh
-
Normalize facts and queries because people are lazyWed, 06 Jul 2016 20:41:56 +0000, by Steve Losh
-
Clean up the rule UI tooWed, 06 Jul 2016 20:08:27 +0000, by Steve Losh
-
Clean up the UIWed, 06 Jul 2016 18:30:31 +0000, by Steve Losh
-
Add profile.out to .hgignore.Wed, 06 Jul 2016 13:49:47 +0000, by Steve Losh
-
Don't cons lists of numbers, jesus christTue, 05 Jul 2016 23:54:54 +0000, by Steve Losh
-
Use a queues instead of lists for the logic frame pending predicatesTue, 05 Jul 2016 23:37:14 +0000, by Steve Losh
-
Rename "code frame" to "logic frame"Tue, 05 Jul 2016 23:12:50 +0000, by Steve Losh
-
Implement logic frames for assertion/retractionTue, 05 Jul 2016 23:02:33 +0000, by Steve Losh
-
Clean up formattingTue, 05 Jul 2016 16:53:58 +0000, by Steve Losh
-
Add a handy disassembly macroTue, 05 Jul 2016 16:44:10 +0000, by Steve Losh
-
Implement anonymous variables and the `*_void` opcodesMon, 04 Jul 2016 23:35:08 +0000, by Steve Losh
-
Switch from `:keyword` variables to `?symbol` onesSun, 03 Jul 2016 22:50:24 +0000, by Steve Losh
-
Add AIPS Rovers exampleThu, 30 Jun 2016 17:53:49 +0000, by Steve Losh
-
Add Towers of Hanoi GDL exampleThu, 30 Jun 2016 17:53:20 +0000, by Steve Losh
-
Run the tests on CCL tooThu, 30 Jun 2016 17:52:53 +0000, by Steve Losh
-
Comment the `bind!` thing a bit moreWed, 29 Jun 2016 16:49:25 +0000, by Steve Losh
-
Implement dynamic calling and fix `bind!`Wed, 29 Jun 2016 16:42:02 +0000, by Steve Losh
-
Clean up opcode definitionWed, 29 Jun 2016 13:53:59 +0000, by Steve Losh