Graph

less more | at revision 57: (0) -12 +12 tip

Implement the basic iset traversal logic
Thu, 15 Dec 2016 13:03:18 -0500, by Steve Losh
Rename the logic manager to just be the reasoner
Sun, 11 Dec 2016 16:32:58 -0500, by Steve Losh
Start sketching out the actual reasoning logic
Sun, 11 Dec 2016 16:25:09 -0500, by Steve Losh
Clean up and get the rule forest generation working properly
Wed, 07 Dec 2016 17:52:35 -0500, by Steve Losh
Lots of cleanup, docstrings, comments
Thu, 24 Nov 2016 16:08:20 +0000, by Steve Losh
Clean up some package layout issues
Wed, 23 Nov 2016 11:08:33 +0000, by Steve Losh
Plumb together all the rule tree/stratification stuff
Mon, 21 Nov 2016 16:52:13 +0000, by Steve Losh
Move all the graphviz code into its own file
Mon, 21 Nov 2016 15:33:17 +0000, by Steve Losh
Stratify rules according to negations
Sun, 20 Nov 2016 15:33:06 +0000, by Steve Losh
Start the individual rule trees
Fri, 18 Nov 2016 16:59:02 +0000, by Steve Losh
Wire things up together.
Tue, 15 Nov 2016 17:20:50 +0000, by Steve Losh
Add lisp.prof to .hgignore.
Tue, 15 Nov 2016 17:20:45 +0000, by Steve Losh

less more | at revision 57: (0) -12 +12 tip