Commit Log

commit description author date
cc9330259660 Fix stratification ordering Steve Losh Fri, 13 Jan 2017 15:36:51 +0000
4843f09b50f6 Start working on the head finalization process Steve Losh Thu, 15 Dec 2016 15:20:07 -0500
41b2461432fc Implement the basic iset traversal logic Steve Losh Thu, 15 Dec 2016 13:03:18 -0500
51bc78b22d98 Rename the logic manager to just be the reasoner Steve Losh Sun, 11 Dec 2016 16:32:58 -0500
6ff8b64f6041 Start sketching out the actual reasoning logic Steve Losh Sun, 11 Dec 2016 16:25:09 -0500
8a22df7c2b9d Clean up and get the rule forest generation working properly Steve Losh Wed, 07 Dec 2016 17:52:35 -0500
3cfc630a3e6e Lots of cleanup, docstrings, comments Steve Losh Thu, 24 Nov 2016 16:08:20 +0000
e2fbd297f5c7 Clean up some package layout issues Steve Losh Wed, 23 Nov 2016 11:08:33 +0000
fe02d26f331f Plumb together all the rule tree/stratification stuff Steve Losh Mon, 21 Nov 2016 16:52:13 +0000
addb56e3eb9d Move all the graphviz code into its own file Steve Losh Mon, 21 Nov 2016 15:33:17 +0000
37e64253cccf Stratify rules according to negations Steve Losh Sun, 20 Nov 2016 15:33:06 +0000
fcc52d00b79f Start the individual rule trees Steve Losh Fri, 18 Nov 2016 16:59:02 +0000
312aaa8e3bfe Wire things up together. Steve Losh Tue, 15 Nov 2016 17:20:50 +0000
533ee45e04e0 Add lisp.prof to .hgignore. Steve Losh Tue, 15 Nov 2016 17:20:45 +0000