File	Date	Author	Commit
lua	2015-04-28	John D. Ramsdell	[392b25] update to Lua 5.3.0
stackless	2012-04-28	John D. Ramsdell	[967a43] makefile shows stackless
tst	2012-04-28	John D. Ramsdell	[967a43] makefile shows stackless
AUTHORS	unknown
COPYING.LIB	unknown
ChangeLog	2018-02-21	John D. Ramsdell	[6a0433] Added gcc to BuildRequires
Makefile.am	2012-04-28	John D. Ramsdell	[8b0d00] add patch to make stackless version of Datalog
NEWS	2016-06-01	John D. Ramsdell	[7f7251] fix typo
README	2012-04-26	John D. Ramsdell	[4c0d94] ready for tagging
acinclude.m4	unknown
add.lua	2012-04-13	John D. Ramsdell	[9ea7b7] add even example
ancestor.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
ancestor.txt	unknown
bidipath.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
bidipath.txt	unknown
bin2c.c	unknown
configure.ac	2016-06-24	John D. Ramsdell	[e9192f] Added missing AC_ARG_WITH([lua_suffix],...)
datalog.1	unknown
datalog.c	2012-04-20	John D. Ramsdell	[89d265] add space to prompt
datalog.h	2016-01-14	John D. Ramsdell	[ee6972] added includes so that datalog.h compiles
datalog.lua.in	2012-04-13	John D. Ramsdell	[ceaf3b] fix J. Logic Prog. ref
datalog.spec.in	2018-02-21	John D. Ramsdell	[6a0433] Added gcc to BuildRequires
datalog.texi	2016-02-08	John D. Ramsdell	[507226] describe dl_mark and dl_reset
datalogexport	unknown
datalogimport	unknown
even.lua	2012-04-14	John D. Ramsdell	[591e96] comment out clock calls
index.html	2012-06-25	John D. Ramsdell	[f918aa] change into to stress lightweight
interp.c	2012-04-20	John D. Ramsdell	[89d265] add space to prompt
laps.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
laps.txt	unknown
loader.c	2012-04-28	John D. Ramsdell	[13f4af] check for hexadecimal escape sequences in strings
long.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
long.txt	unknown
lualint.sh	unknown
notes.txt	unknown
octal.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
octal.txt	unknown
path.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
path.txt	unknown
pq.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
pq.lua	2012-04-13	John D. Ramsdell	[7ea723] add a section on assertions
pq.txt	unknown
prefix.lua	unknown
revpath.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
revpath.txt	unknown
says.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
says.txt	unknown
sf.txt	2012-06-25	John D. Ramsdell	[c5b734] add sf HTML doc and instructions
stackless.diff	2012-04-28	John D. Ramsdell	[8b0d00] add patch to make stackless version of Datalog
tc.dl	2012-04-19	John D. Ramsdell	[3336da] add tc.dl example
tc.txt	2012-04-19	John D. Ramsdell	[3336da] add tc.dl example
true.dl	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension
true.txt	unknown
try.sh	2012-04-08	John D. Ramsdell	[72c37a] use .dl as datalog extension

Read Me

			       Datalog

ABSTRACT

This 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 goal 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 components in this package are designed to be small, and usable on
memory constrained devices.  The package includes an interactive
interpreter for Datalog, and a library that can be used to embed the
interpreter into C programs.

INSTALLATION

Install using the usual "./configure; make; make install" sequence as
described in the file INSTALL.

If you have Lua 5.2 installed, configure with the --with-lua option.
On Debian-based systems, use:

    $ ./configure --with-lua-suffix=5.2 CPPFLAGS=-I/usr/include/lua5.2

Datalog can be built on top of Lua 5.1 too.

DOCUMENTATION

This package is documented using Texinfo and a manual page.  The NEWS
file contains a history of user-visible changes.  The ChangeLog
records changes to the package.

TEST SUITE

The source distribution contains examples of Datalog programs used for
testing that are not installed.  Examples from the Texinfo manual are
also included.