Tree [963221] master /
History



File Date Author Commit
lua 2012-02-26 John D. Ramsdell John D. Ramsdell [37d3a1] Updated Lua sources to version 5.1.5.
stackless 2012-04-28 John D. Ramsdell John D. Ramsdell [967a43] makefile shows stackless
tst 2012-04-28 John D. Ramsdell John D. Ramsdell [967a43] makefile shows stackless
AUTHORS 2009-04-13 ramsdell ramsdell [d73b62] import
COPYING.LIB 2012-01-17 John D. Ramsdell John D. Ramsdell [139583] fix address of FSF
ChangeLog 2013-03-23 John D. Ramsdell John D. Ramsdell [cea87b] add support for aarch64
Makefile.am 2012-04-28 John D. Ramsdell John D. Ramsdell [8b0d00] add patch to make stackless version of Datalog
NEWS 2012-04-20 John D. Ramsdell John D. Ramsdell [4cad12] added space to prompt
README 2012-04-26 John D. Ramsdell John D. Ramsdell [568009] describe documentation and the test suite
acinclude.m4 2011-09-27 John D. Ramsdell John D. Ramsdell [05a207] add --with-lua option
add.lua 2012-04-13 John D. Ramsdell John D. Ramsdell [9ea7b7] add even example
ancestor.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
ancestor.txt 2009-04-13 ramsdell ramsdell [d73b62] import
bidipath.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
bidipath.txt 2009-04-13 ramsdell ramsdell [d73b62] import
bin2c.c 2012-03-17 John D. Ramsdell John D. Ramsdell [3db017] style fixes
configure.ac 2013-03-23 John D. Ramsdell John D. Ramsdell [cea87b] add support for aarch64
datalog.1 2012-04-05 John D. Ramsdell John D. Ramsdell [9002e3] add -l option
datalog.c 2012-04-20 John D. Ramsdell John D. Ramsdell [89d265] add space to prompt
datalog.h 2009-04-13 ramsdell ramsdell [d73b62] import
datalog.lua.in 2012-04-13 John D. Ramsdell John D. Ramsdell [ceaf3b] fix J. Logic Prog. ref
datalog.spec.in 2013-06-04 John D. Ramsdell John D. Ramsdell [963221] rebuild for lua 5.2
datalog.texi 2012-04-19 John D. Ramsdell John D. Ramsdell [3336da] add tc.dl example
datalogexport 2012-04-03 John D. Ramsdell John D. Ramsdell [fdc8f3] add example using /etc/passwd as a data source
datalogimport 2012-04-03 John D. Ramsdell John D. Ramsdell [fdc8f3] add example using /etc/passwd as a data source
even.lua 2012-04-14 John D. Ramsdell John D. Ramsdell [591e96] comment out clock calls
index.html 2012-06-25 John D. Ramsdell John D. Ramsdell [f918aa] change into to stress lightweight
interp.c 2012-04-20 John D. Ramsdell John D. Ramsdell [89d265] add space to prompt
laps.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
laps.txt 2009-04-13 ramsdell ramsdell [d73b62] import
loader.c 2012-04-28 John D. Ramsdell John D. Ramsdell [13f4af] check for hexadecimal escape sequences in strings
long.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
long.txt 2009-04-13 ramsdell ramsdell [d73b62] import
lualint.sh 2009-04-13 ramsdell ramsdell [d73b62] import
notes.txt 2011-09-27 John D. Ramsdell John D. Ramsdell [53cb0e] Merge branch 'master' of ssh://datalog.git.sour...
octal.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
octal.txt 2012-04-05 John D. Ramsdell John D. Ramsdell [dde643] fix test
path.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
path.txt 2009-04-13 ramsdell ramsdell [d73b62] import
pq.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
pq.lua 2012-04-13 John D. Ramsdell John D. Ramsdell [7ea723] add a section on assertions
pq.txt 2009-04-13 ramsdell ramsdell [d73b62] import
prefix.lua 2009-04-13 ramsdell ramsdell [d73b62] import
revpath.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
revpath.txt 2009-04-13 ramsdell ramsdell [d73b62] import
says.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
says.txt 2009-04-13 ramsdell ramsdell [d73b62] import
sf.txt 2012-06-25 John D. Ramsdell John D. Ramsdell [c5b734] add sf HTML doc and instructions
stackless.diff 2012-04-28 John D. Ramsdell John D. Ramsdell [8b0d00] add patch to make stackless version of Datalog
tc.dl 2012-04-19 John D. Ramsdell John D. Ramsdell [3336da] add tc.dl example
tc.txt 2012-04-19 John D. Ramsdell John D. Ramsdell [3336da] add tc.dl example
true.dl 2012-04-08 John D. Ramsdell John D. Ramsdell [72c37a] use .dl as datalog extension
true.txt 2009-04-13 ramsdell ramsdell [d73b62] import
try.sh 2012-04-08 John D. Ramsdell 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.