<HTML> <!-- Mirrored from www.iccs.informatics.ed.ac.uk/~jbos/comsem/source/ by HTTrack Website Copier/3.x [XR&CO'2002], Thu, 07 Nov 2002 13:40:41 GMT --> <HEAD> <TITLE>Index of /~jbos/comsem/source</TITLE> </HEAD><BODY> <H1>Index of /~jbos/comsem/source</H1> <PRE><IMG SRC="../../../icons/blank.gif" ALT=" "> Name Last modified Size Description <HR> <IMG SRC="../../../icons/back.gif" ALT="[DIR]"> <A HREF="../index.html">Parent Directory</A> 15-May-02 10:27 - <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="acDRT.html">acDRT.pl</A> 11-Aug-01 13:32 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="acceptabilityConstraints.html">acceptabilityConstrai..</A>11-Aug-01 13:32 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="alphaConversion.html">alphaConversion.pl</A> 09-Aug-01 17:44 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="babyCurt.html">babyCurt.pl</A> 28-Jul-01 14:58 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="betaConversion.html">betaConversion.pl</A> 26-Jul-01 19:11 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="betaConversionTestSuite.html">betaConversionTestSui..</A>26-Jul-01 19:11 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="bindingDRT.html">bindingDRT.pl</A> 30-Jul-01 14:18 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="callInference.html">callInference.pl</A> 09-Aug-01 17:42 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="callModelBuilder.html">callModelBuilder.pl</A> 26-Jul-01 19:25 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="callTheoremProver.html">callTheoremProver.pl</A> 26-Jul-01 19:25 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="cleverCurt.html">cleverCurt.pl</A> 09-Aug-01 17:43 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="clientBliksem.html">clientBliksem.pl</A> 09-Aug-01 17:43 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="clientCurt.html">clientCurt.pl</A> 09-Aug-01 17:44 14k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="clientMace.html">clientMace.pl</A> 09-Aug-01 17:43 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="clientOtter.html">clientOtter.pl</A> 09-Aug-01 17:42 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="cnf.html">cnf.pl</A> 09-Aug-01 17:45 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="cnfTestSuite.html">cnfTestSuite.pl</A> 25-Jul-01 18:21 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="comsemOperators.html">comsemOperators.pl</A> 09-Jul-01 23:31 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="comsemPredicates.html">comsemPredicates.pl</A> 09-Aug-01 17:44 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="cooperStorage.html">cooperStorage.pl</A> 09-Aug-01 17:40 5k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="curtDRT.html">curtDRT.pl</A> 11-Aug-01 13:33 12k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="curtServer.html">curtServer.pl</A> 09-Aug-01 17:44 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="discourseGrammar.html">discourseGrammar.pl</A> 28-Jul-01 17:59 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="discourseTestSuite.html">discourseTestSuite.pl</A> 30-Jul-01 11:54 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="drs2fol.html">drs2fol.pl</A> 11-Aug-01 13:37 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="drsPredicates.html">drsPredicates.pl</A> 11-Aug-01 13:37 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="englishGrammar.html">englishGrammar.pl</A> 24-Jul-01 16:27 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="englishLexicon.html">englishLexicon.pl</A> 11-Aug-01 13:35 9k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="exampleModels.html">exampleModels.pl</A> 15-Jan-02 17:44 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="experiment1.html">experiment1.pl</A> 13-Jul-01 19:42 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="experiment2.html">experiment2.pl</A> 13-Jul-01 19:42 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="experiment3.html">experiment3.pl</A> 13-Jul-01 19:42 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="fol2bliksem.html">fol2bliksem.pl</A> 09-Aug-01 17:42 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="fol2otter.html">fol2otter.pl</A> 09-Aug-01 17:45 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="folTestSuite.html">folTestSuite.pl</A> 27-Jul-01 15:16 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="freeVarTabl.html">freeVarTabl.pl</A> 15-Jan-02 17:51 9k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="holeSemantics.html">holeSemantics.pl</A> 09-Aug-01 17:40 6k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="holeSemanticsDRT.html">holeSemanticsDRT.pl</A> 09-Aug-01 17:39 8k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="kellerStorage.html">kellerStorage.pl</A> 09-Aug-01 17:40 5k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="knowledgeableCurt.html">knowledgeableCurt.pl</A> 09-Aug-01 17:42 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="laconicCurt.html">laconicCurt.pl</A> 09-Aug-01 17:42 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="lambda.html">lambda.pl</A> 24-Jul-01 16:37 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="lambdaDRT.html">lambdaDRT.pl</A> 09-Aug-01 17:39 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="matchDRT.html">matchDRT.pl</A> 30-Jul-01 14:18 1k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="modelChecker1.html">modelChecker1.pl</A> 09-Aug-01 17:45 6k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="modelChecker2.html">modelChecker2.pl</A> 09-Aug-01 17:44 10k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="modelCheckerDRT1.html">modelCheckerDRT1.pl</A> 10-Jul-01 18:37 7k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="modelCheckerDRT2.html">modelCheckerDRT2.pl</A> 11-Aug-01 13:36 11k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="modelCheckerTestSuite.html">modelCheckerTestSuite..</A>15-Jan-02 17:44 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="modelCheckerTestSuiteDRT.html">modelCheckerTestSuite..</A>10-Jul-01 18:37 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="montague.html">montague.pl</A> 24-Jul-01 16:25 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="pluggingAlgorithm.html">pluggingAlgorithm.pl</A> 24-Jul-01 16:56 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="presupDRT.html">presupDRT.pl</A> 11-Aug-01 13:37 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="presupScoreDRT.html">presupScoreDRT.pl</A> 11-Aug-01 13:37 5k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="printDrs.html">printDrs.pl</A> 11-Aug-01 13:36 10k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="propResolution.html">propResolution.pl</A> 25-Jul-01 19:03 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="propTableaux.html">propTableaux.pl</A> 25-Jul-01 19:05 5k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="propTestSuite.html">propTestSuite.pl</A> 25-Jul-01 19:03 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="readLine.html">readLine.pl</A> 13-Jul-01 20:15 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="resolvePresup.html">resolvePresup.pl</A> 09-Aug-01 17:45 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="resolvePresupScore.html">resolvePresupScore.pl</A> 11-Aug-01 13:38 5k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="semOntology.html">semOntology.pl</A> 09-Aug-01 17:45 4k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="sensitiveCurt.html">sensitiveCurt.pl</A> 09-Aug-01 17:44 5k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="sentenceTestSuite.html">sentenceTestSuite.pl</A> 13-Jul-01 20:11 2k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="startClientCurt.html">startClientCurt.pl</A> 09-Aug-01 17:43 3k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="superCurt.html">superCurt.pl</A> 11-Aug-01 13:35 11k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="threadingDRT.html">threadingDRT.pl</A> 09-Aug-01 17:39 6k <IMG SRC="../../../icons/p.gif" ALT="[ ]"> <A HREF="usrPredicates.html">usrPredicates.pl</A> 28-Jul-01 17:52 4k </PRE><HR> <PRE> 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. </PRE> </BODY> <!-- Mirrored from www.iccs.informatics.ed.ac.uk/~jbos/comsem/source/ by HTTrack Website Copier/3.x [XR&CO'2002], Thu, 07 Nov 2002 13:40:41 GMT --> </HTML>