Graph

less more | at revision 8: (0) -3 +3 +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

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