The zdatr software is a DATR implementation in C for UNIX systems. It was designed to provide convenient high-speed batch or interactive standard DATR query processing with large DATR theories, a weak point of earlier Prolog implementations.
The zdatr system is split into two independent modules, a tokenizer (zdatrtok) for preprocessing of a theory and the inference engine (zdatrinf), which permits queries to be processed via manual input, query declaration files or query list files (see 2.5 for details).
This document gives a brief description of the actual program status,
the system requirements, the installation and invoking of the programs
and an exact file specification. Furthermore an extensive example is
given in the appendix. This document is not intended to be a DATR manual.
For information about DATR representation and inference, consult
Roger Evans & Gerald Gazdar (1995):
`DATR: A Language for Lexical Knowledge Representation'
in Computational Linguistics, 22.2, 167-216.
The responsibilities of the authors are as follows: Christoph Schillo designed and implemented the data structures and algorithms, and Dafydd Gibbon provided the functional specifications, defined the semantics of on the fly variables and introduced the conditional showif declaration.