11.5 Running DRT

Here an example call and the file listing.

The driver predicate is explained in Section 11.4.6.

Try this out: drt([every,owner,of,a,siamese,cat,loves,john],SEM), printRepresentations([SEM]).

All files

drt.pl: View Download

The drivers for DRS construction and the semantic macros.

drs2fol.pl: View Download

The translation from DRT to predicate logic.

discourseGrammar.pl: View Download

Grammar rules for discourse.

Aljoscha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn and Johan Bos
Version 1.2.5 (20030212)