1DATALOG(1)                                                          DATALOG(1)
2
3
4

NAME

6       datalog - a lightweight deductive database system
7

SYNOPSIS

9       datalog [OPTIONS] [FILE]
10

DESCRIPTION

12       The  datalog  program provides a lightweight deductive database system.
13       Queries and database updates are expressed using Datalog-a  declarative
14       logic  language  in  which each formula is a function-free Horn clause,
15       and every variable in the head of a clause must appear in the  body  of
16       the  clause.   The use of Datalog syntax and an implementation based on
17       tabling intermediate results, ensures that all queries terminate.   The
18       program  reads  and  executes  the  assertions  and queries in FILE, or
19       enters interactive mode if an input file is not given.
20

OPTIONS

22       -o FILE
23              Send output to a file (default is standard output).
24
25       -i     Enter interactive mode after loading input file.
26
27       -l FILE
28              Load extensions written in Lua.
29
30       -t     Print output as tab separated values.
31
32       -h     Display command usage info.
33
34       -v     Display command version info.
35

EXIT STATUS

37       The exit status is non-zero if there is a syntax  error  in  the  input
38       file or an internal error is detected.
39

SEE ALSO

41       The  full  documentation for datalog is maintained as a Texinfo manual.
42       If the info and datalog programs are properly installed at  your  site,
43       the command
44
45              info datalog
46
47       should give you access to the complete manual.
48
49
50
51                                   Jan 2012                         DATALOG(1)