[ANN] Datalog 2.1

["John D. Ramsdell" <ramsdell0@...>]

The Datalog package contains a lightweight deductive database system.
Queries and database updates are expressed using Datalog—a declarative
logic language in which each formula is a function-free Horn clause,
and every variable in the head of a clause must appear in the body of
the clause. The use of Datalog syntax and an implementation based on
tabling intermediate results, ensures that all queries terminate.

The core functionality of the datalog program is provided by an
embedded Lua interpreter, and user extensions to the language are
written in Lua and loaded via a command-line argument.  The Lua code
that implements the core functionality is a Lua package that can be
used in pure Lua applications.

This release provides better integration with Unix tools by importing
and exporting database tables as tab separated values.

Project: <http://datalog.sf.net>

Manual: <http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.html>

John