Graph

less more | at revision 8: (0) +8 +10 +30 +100 tip

Start on the logic database
Thu, 10 Mar 2016 15:14:48 +0000, by Steve Losh
Add variable/binding substitution
Wed, 09 Mar 2016 11:48:07 +0000, by Steve Losh
Add a couple more unification tests
Wed, 09 Mar 2016 11:36:04 +0000, by Steve Losh
Test the occurs check
Wed, 09 Mar 2016 11:33:07 +0000, by Steve Losh
Get some basic unification up and running
Tue, 08 Mar 2016 15:27:47 +0000, by Steve Losh
Set up a clean namespace for the initial PAIP implementation
Tue, 08 Mar 2016 12:31:44 +0000, by Steve Losh
More 99P
Tue, 08 Mar 2016 12:16:50 +0000, by Steve Losh
GA the docs
Mon, 07 Mar 2016 13:39:38 +0000, by Steve Losh

less more | at revision 8: (0) +8 +10 +30 +100 tip