Check-in [d33f642607]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
SHA1:d33f6426077c40eafaafca787d558d3dfc272066
Date: 2014-11-23 21:54:52
User: kbk
Comment:Made a 'datalog::database' class that instantiates a FDDD database integrated with the Datalog compiler, and a 'datalogMethod' command to introduce an instance method (representing a Datalog program) on such a database.
Tags And Properties
Context
2015-01-10
04:18
[2a326f8369] Remove debug prints left in inadvertently. (user: kbk, tags: trunk)
2014-11-23
21:54
[d33f642607] Made a 'datalog::database' class that instantiates a FDDD database integrated with the Datalog compiler, and a 'datalogMethod' command to introduce an instance method (representing a Datalog program) on such a database. (user: kbk, tags: trunk)
2014-10-26
04:09
[c991aa8ae7] Adjust Datalog tests to cover EQUALITY (user: kbk, tags: trunk)
Changes

Changes to library/datalog.tcl.

Changes to tests/datalog.test.