Graph
-
Clean up the GGP a tiny bit2016-07-11, by Steve Losh
-
Type-hint the WAM `setf` functions2016-07-10, by Steve Losh
-
Name the subterm-handling instructions something not completely stupid2016-07-10, by Steve Losh
-
Excise the stupid fucking `set-*` opcodes2016-07-10, by Steve Losh
-
Fix constant unification2016-07-09, by Steve Losh
-
Pool logic frames to avoid creating so many hash tables2016-07-09, by Steve Losh
-
Clean up and fix the anonymous variable handling2016-07-08, by Steve Losh
-
Export symbols and add a few sanity checks2016-07-08, by Steve Losh
-
Normalize facts and queries because people are lazy2016-07-06, by Steve Losh
-
Clean up the rule UI too2016-07-06, by Steve Losh
-
Clean up the UI2016-07-06, by Steve Losh
-
Add profile.out to .hgignore.2016-07-06, by Steve Losh
-
Don't cons lists of numbers, jesus christ2016-07-05, by Steve Losh
-
Use a queues instead of lists for the logic frame pending predicates2016-07-05, by Steve Losh
-
Rename "code frame" to "logic frame"2016-07-05, by Steve Losh
-
Implement logic frames for assertion/retraction2016-07-05, by Steve Losh