Next:
Introduction
Up:
ZDATR Version 1.1 Manual
Previous:
ZDATR Version 1.1 Manual
Contents
Introduction
Description
Changes in Version 1.1
Installing
zdatrinf
and
zdatrtok
Status and Copyrights
System Requirements
Installation procedure
Invoking
zdatrtok
Invoking
zdatrinf
Zdatr
: Status Quo
Note on DATR semantics
Undefined paths
Semantics for variable/atom clashes
File Specification
Specification of the DATR theory file
Specification of the Token file
Specification of the Query file
Specification of the Declaration file
Specification of the Trace file/output
Specification of the Error file
Specification of the Log file
Illustration
Query file
engcomp.qry
Declaration file
engcomp.dec
Log file
zdatr.log
About this document ...
Dafydd Gibbon
Fri Mar 21 17:58:24 MET 1997