Index of /~jbos/comsem/source

      Name                   Last modified     Size  Description

[DIR] Parent Directory 15-May-02 10:27 - [   ] acDRT.pl 11-Aug-01 13:32 4k [   ] acceptabilityConstrai..11-Aug-01 13:32 4k [   ] alphaConversion.pl 09-Aug-01 17:44 2k [   ] babyCurt.pl 28-Jul-01 14:58 3k [   ] betaConversion.pl 26-Jul-01 19:11 2k [   ] betaConversionTestSui..26-Jul-01 19:11 7k [   ] bindingDRT.pl 30-Jul-01 14:18 2k [   ] callInference.pl 09-Aug-01 17:42 7k [   ] callModelBuilder.pl 26-Jul-01 19:25 1k [   ] callTheoremProver.pl 26-Jul-01 19:25 1k [   ] cleverCurt.pl 09-Aug-01 17:43 4k [   ] clientBliksem.pl 09-Aug-01 17:43 2k [   ] clientCurt.pl 09-Aug-01 17:44 14k [   ] clientMace.pl 09-Aug-01 17:43 2k [   ] clientOtter.pl 09-Aug-01 17:42 2k [   ] cnf.pl 09-Aug-01 17:45 3k [   ] cnfTestSuite.pl 25-Jul-01 18:21 1k [   ] comsemOperators.pl 09-Jul-01 23:31 1k [   ] comsemPredicates.pl 09-Aug-01 17:44 7k [   ] cooperStorage.pl 09-Aug-01 17:40 5k [   ] curtDRT.pl 11-Aug-01 13:33 12k [   ] curtServer.pl 09-Aug-01 17:44 1k [   ] discourseGrammar.pl 28-Jul-01 17:59 1k [   ] discourseTestSuite.pl 30-Jul-01 11:54 1k [   ] drs2fol.pl 11-Aug-01 13:37 2k [   ] drsPredicates.pl 11-Aug-01 13:37 7k [   ] englishGrammar.pl 24-Jul-01 16:27 4k [   ] englishLexicon.pl 11-Aug-01 13:35 9k [   ] exampleModels.pl 15-Jan-02 17:44 2k [   ] experiment1.pl 13-Jul-01 19:42 2k [   ] experiment2.pl 13-Jul-01 19:42 2k [   ] experiment3.pl 13-Jul-01 19:42 2k [   ] fol2bliksem.pl 09-Aug-01 17:42 3k [   ] fol2otter.pl 09-Aug-01 17:45 3k [   ] folTestSuite.pl 27-Jul-01 15:16 1k [   ] freeVarTabl.pl 15-Jan-02 17:51 9k [   ] holeSemantics.pl 09-Aug-01 17:40 6k [   ] holeSemanticsDRT.pl 09-Aug-01 17:39 8k [   ] kellerStorage.pl 09-Aug-01 17:40 5k [   ] knowledgeableCurt.pl 09-Aug-01 17:42 7k [   ] laconicCurt.pl 09-Aug-01 17:42 7k [   ] lambda.pl 24-Jul-01 16:37 4k [   ] lambdaDRT.pl 09-Aug-01 17:39 4k [   ] matchDRT.pl 30-Jul-01 14:18 1k [   ] modelChecker1.pl 09-Aug-01 17:45 6k [   ] modelChecker2.pl 09-Aug-01 17:44 10k [   ] modelCheckerDRT1.pl 10-Jul-01 18:37 7k [   ] modelCheckerDRT2.pl 11-Aug-01 13:36 11k [   ] modelCheckerTestSuite..15-Jan-02 17:44 2k [   ] modelCheckerTestSuite..10-Jul-01 18:37 2k [   ] montague.pl 24-Jul-01 16:25 4k [   ] pluggingAlgorithm.pl 24-Jul-01 16:56 2k [   ] presupDRT.pl 11-Aug-01 13:37 4k [   ] presupScoreDRT.pl 11-Aug-01 13:37 5k [   ] printDrs.pl 11-Aug-01 13:36 10k [   ] propResolution.pl 25-Jul-01 19:03 3k [   ] propTableaux.pl 25-Jul-01 19:05 5k [   ] propTestSuite.pl 25-Jul-01 19:03 2k [   ] readLine.pl 13-Jul-01 20:15 2k [   ] resolvePresup.pl 09-Aug-01 17:45 3k [   ] resolvePresupScore.pl 11-Aug-01 13:38 5k [   ] semOntology.pl 09-Aug-01 17:45 4k [   ] sensitiveCurt.pl 09-Aug-01 17:44 5k [   ] sentenceTestSuite.pl 13-Jul-01 20:11 2k [   ] startClientCurt.pl 09-Aug-01 17:43 3k [   ] superCurt.pl 11-Aug-01 13:35 11k [   ] threadingDRT.pl 09-Aug-01 17:39 6k [   ] usrPredicates.pl 28-Jul-01 17:52 4k


These are the programs for "Representation and Inference for Natural
Language, A First Course in Computational Semantics" by Patrick
Blackburn and Johan Bos. 

This distribution is without warranty. You are allowed to make a copy
under another name, use parts of the copy, or change it, provided you
mention the original authors and add an explanation of your changes.

The prolog sources are tested with Sicstus Prolog and SWI Prolog.