Datalog inference engine

[ramsdell@... (John D. Ramsdell)]

A deductive database system for memory constrained devices is
available here: 

http://www.ccs.neu.edu/home/ramsdell/tools

Datalog is a declarative logic language in which each formula is a
function-free Horn clause, and every variable in the goal of a clause
appears in the body of the clause.  The implementation tables
intermediate results thereby ensuring that all queries terminate.

The software can be used without knowledge of Lua, however, the
inference engine is implemented in Lua.  Knowledge of Lua makes it
easy to add primitive predicates to the system.

Datalog has been proposed as an inference mechanism for the Semantic
Web.  By adding in a Lua XML parser, one might be able to use this
software to make inferences about the Semantic Web on small devices.

John