next up previous contents
Next: About this document Up: No Title Previous: Semantics trace for

Non-proprietary DATR implementations

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