The zdatrinf module represents the DATR inference engine and is mainly a collection of query-input handlers and a graph traversal algorithm. Given a DATR token file, the compiled theory is read into internal data structures.
Typing zdatrinf on the command line should produce the following help page:
This is ZDATR inference engine, a part of ZDATR version 2.0,
(C) Sep 12 1998 Universitaet Bielefeld
Usage:
zdatrinf [-Q FILE] [-D FILE] [-T FILE] [-V#] [-m#] [-r#] [-jku] TOKFILE
TOKFILE is the name of tokenized theory (generated by zdatrtok)
-u Enable undefined state tolerations
-a Give high priority to the 'atom beats' principle
-Q QUERYFILE Name of _Q_uery input file
-D DECFILE Name of _D_eclaration input file
-T TRACEFILE Name of _T_race output file
-j Join: no spaces between atoms in a sequence
-i Enable interactive mode in addition to QUERY or DECFILE
-V # Verbosity mode,-2 (quiet) - 3 (chatter), DEFAULT=0
Output will be written to stdout and (when given) tracefile
(-2) show only errors and results WITHOUT succeeding '.'
(-1) with '.'
(0) and queries
(1) and traces
(2) and traces with used rules
(3) and complete scan of input file (not recommended)
-m #, _M_aximum depth for queries, DEFAULT=200
-r #, maximum number of _R_ecursions for nested paths, DEFAULT=100
If neither -Q nor -D option is specified, zdatrinf switches to
interactive mode, as if -i option was given