LKB
A stand-alone version of the LKB software system, with demonstration type systems, lexicons and so on is available for distribution; contact the authors for further details.
The Sussex DATR Implementation
The Sussex implementation of DATR comprises a compiler written in Prolog, and a wide-ranging collection of DATR example files. The compiler takes a DATR theory and produces Prolog code for query evaluation relative to that theory. The code is readily customisable, and customisations for Poplog Prolog, CProlog, Arity Prolog, Prolog2, Quintus Prolog and Sicstus Prolog are provided. Source listings, documentation and many of the example files may also be found in “The DATR Papers, Volume 1” (Cognitive Science Research Report 139).
This implementation is provided ‘as is’, with no warranty or support, and for research purposes only. Copyright remains with the University of Sussex.
The Prolog source code and the example files for the DATR system are available on a 720K 3.5 inch MS-DOS disk for £12.00 (within the UK) or US $25 (outside the UK) from: Technical Reports, School of Cognitive and Computing Sciences, University of Sussex, Brighton BN1 9QH, UK. “The DATR Papers, Volume 1” (Cognitive Science Research Report 139) is also available for £6 (US $ 12) from the same address.