Next: 2 DATR syntax: BNF
Up: No Title
Previous: No Title
The following interactive DATR environments are only fully available for U Bielefeld teaching. Theories can be submitted by email and tested, and small theories can be entered and queried.
-
The DATR testbed: Test theories and (UPLOAD facility for internal use only). This page contains further references to notes and slides on ILEX and DATR.
-
The DATR scratchpad: Enter theory and queries (result mail facility for internal use only).
Both applications use the MUD (Minimal UNIX DATR) implementation, a UNIX filter system.
Dafydd Gibbon
Tue Sep 17 16:45:21 MET DST 1996