The zdatr command line interface is intended to abbreviate the separate invocation of zdatrtok tokeniser-compiler and and the zdatrinf inference engine for a range of standard cases.
The standard action is to compile the contents of a DATR theory file into an optimised DATR token structure file and execute the zdatrinf inference engine using command line options. If the theory file is older than than an existing token file then no compilation is performed, as the token file contains all necessary information for the inference engine and therefore can be used for repeated query calls without the original DATR source.
Typing zdatr on the command line should produce the following help page:
This is ZDATR version 2.0, (C) Sep 1998 Universitaet Bielefeld
Usage:
zdatr [options ...] DATRFILE[.dtr]
Tokenize DATRFILE if needed, then exec zdatrinf DATRFILE.dtr.tok
-n Do not assume '#load std.' by default.
-q Use #query directives from DTRFILE.dtr
-d Use #show and #hide declarations from DATRFILE.dtr
-Q QUERYFILE Use query file QUERYFILE
-D DECFILE Use declaration file DECFILE
-o TOKFILE Write tokenized theory into TOKFILE;
If omitted, default is DATRFILE.dtr.tok
-l LOGFILE Use log file LOGFILE instead of DATRFILE.dtr.log
-L LOGFILE Use log file LOGFILE instead of DATRFILE.dtr.tok.log
(-l specifies log file for tokenizer, -L for inference)
-T TRACEFILE Use trace file TRACEFILE (for debugging)
-u Enables undefined state and undefined symbol tolerations
-a Give high priority to the 'atom beats' principle
-j Join: no spaces between atoms in a sequence
-s Silent mode (produce only essential output)
-c Compile only, do not invoke inference engine
-C Force recompiling, even if not needed
-i Enable interactive mode in addition to QUERY or DECFILE
-v Verbose tokenizing mode
-V # Inference 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 # Maximum depth for queries
-r # Maximum number of recursions for nested paths
If neither -q (-Q) nor -d (-D) option is specified, zdatrinf switches to
interactive mode, as if -i option was given