Next: About this document
Up: No Title
Previous: Semantics trace for
- susxdatr:
- Various Prologs; versions from 1989 (R. Evans)
- minidatr:
- Prolog inference machine core; 1993 (D. Gibbon)
- node:
- Sicstus Prolog, UNIX; 1993 (D. Gibbon)
- ddatr:
- Scheme, DOS; 1989 (D. Gibbon)
- mud:
- minimal UNIX DATR, DATR as UNIX filter; 1995 (D. Gibbon)
- qdatr:
- Arity Prolog, DOS; Sicstus Prolog, UNIX; versions from 1991 (J. Kilbury)
Dafydd Gibbon
Sat Jan 6 20:59:29 MET 1996