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 ...