Commit Log

commit description author date
ba205f6b2875 Excise the stupid fucking `set-*` opcodes Steve Losh Sun, 10 Jul 2016 14:21:18 +0000
07e1d5f315f5 Fix constant unification Steve Losh Sat, 09 Jul 2016 21:51:02 +0000
92c590f78133 Pool logic frames to avoid creating so many hash tables Steve Losh Sat, 09 Jul 2016 21:03:01 +0000
8c853f632f8c Clean up and fix the anonymous variable handling Steve Losh Fri, 08 Jul 2016 18:14:05 +0000
2415dbe555d2 Export symbols and add a few sanity checks Steve Losh Fri, 08 Jul 2016 17:03:54 +0000
55019395ba93 Normalize facts and queries because people are lazy Steve Losh Wed, 06 Jul 2016 20:41:56 +0000
f7b7440c46ff Clean up the rule UI too Steve Losh Wed, 06 Jul 2016 20:08:27 +0000
0955ab257fef Clean up the UI Steve Losh Wed, 06 Jul 2016 18:30:31 +0000
be83cfc938fb Add profile.out to .hgignore. Steve Losh Wed, 06 Jul 2016 13:49:47 +0000
a3466a551136 Don't cons lists of numbers, jesus christ Steve Losh Tue, 05 Jul 2016 23:54:54 +0000
209ecb9eeb25 Use a queues instead of lists for the logic frame pending predicates Steve Losh Tue, 05 Jul 2016 23:37:14 +0000
9086482c09ee Rename "code frame" to "logic frame" Steve Losh Tue, 05 Jul 2016 23:12:50 +0000
410acaae0c14 Implement logic frames for assertion/retraction Steve Losh Tue, 05 Jul 2016 23:02:33 +0000
6a93a2d2ed60 Clean up formatting Steve Losh Tue, 05 Jul 2016 16:53:58 +0000