[Image] [Image] [Image] [Image] [Please use the text links in the next line.]

ZDATR Version 2.0

conforming to DATR Standard Library RFC
Version 2.00, 18 August 1998
with builtin and DATR library extensions


Reference Manual

Version 1.0

Bug reports to
zdatr@spectrum.uni-bielefeld.de

Dafydd Gibbon, Universität Bielefeld
gibbon@spectrum.uni-bielefeld.de

Grigoriy Strokin, Lomonosov University Moscow
grg@philol.msu.ru

12 September 1998

© Universität Bielefeld 1998
Dafydd Gibbon
Fakultät für Linguistik und
Literaturwissenschaft
Postfach 10 01 31
33501 Bielefeld

Tel.: (0521) 106 - 3510
Fax: (0521) 106 - 6008/2996

gibbon@spectrum.uni-bielefeld.de
http://coral.lili.uni-bielefeld.de

 
• Contents
• Description
  • DATR implementations
  • Zdatr 2.0
  • RFC 2.0 compliance
  • Authors
• Installation
  • Status and Copyrights
  • System Requirements
  • Installation procedure
  • Invoking the zdatr command line interface
  • Invoking the zdatrtok tokeniser-compiler
  • Invoking the zdatrinf inference engine
• Format specifications
  • Overview
  • Theory file
  • Token file
  • Query file
  • Declaration file
  • Trace file/output
  • Error output
  • Log file
• Library
  • Zdatr 2.0 builtin library functions
  • External library DATR definitions
  • std.calc.dtr
  • std.string.dtr
  • std.meta.dtr
  • Declarations, directives
  • Preprocessor directives
  • Tokeniser directives
  • Command line switches
• Test criteria
  • Alphabet and tokens
  • Syntax
  • Semantics
  • Error handling