[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Datalog inference engine
- From: ramsdell@... (John D. Ramsdell)
- Date: 10 Jan 2005 21:05:19 -0500
A deductive database system for memory constrained devices is
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.