betaConversion.pl
| betaConversion.pl: View Download
|  -conversion.
|
clls.pl
| clls.pl: View Download
| Driver, combine-rules, semantic Macros. |
cllsLib.pl
| cllsLib.pl: View Download
| Working with USRs, tree predicates, translation of solved forms into  -terms. |
comsemLib.pl
| comsemLib.pl: View Download
| Auxiliaries. |
comsemOperators.pl
| comsemOperators.pl: View Download
| Operator definitions. |
discourseGrammar.pl
| discourseGrammar.pl: View Download
| Grammar rules for discourse. |
drs2fol.pl
| drs2fol.pl: View Download
| The translation from DRT to predicate logic. |
drt.pl
| drt.pl: View Download
| The drivers for DRS construction and the semantic macros. |
englishGrammar.pl
| englishGrammar.pl: View Download
| The DCG-rules and the lexicon (using module englishLexicon.pl ). From here, the combine-rules and lexical macros are called. |
englishLexicon.pl
| englishLexicon.pl: View Download
| The lexical entries for a small fragment of English. |
exampleModels.pl
| exampleModels.pl: View Download
| Some example models to play with. |
firstAttempt.pl
| firstAttempt.pl: View Download
| The code for our first attempt at semantic construction, using the +-operator and insertArgs/2. |
firstLambda.pl
| firstLambda.pl: View Download
| DCG for semantic construction using -calculus. |
fo.pl
| fo.pl: View Download
| The drivers for model generation and theorem proving. |
foTabl.pl
| foTabl.pl: View Download
| The tableaux itself: tabl/6 |
lambda.pl
| lambda.pl: View Download
| The driver predicate; definition of the combine-rules and the lexical macros for -calculus. |
modelChecker.pl
| modelChecker.pl: View Download
| The driver predicate evaluate/2 and the core clauses of the model checker (eval/2). |
prop.pl
| prop.pl: View Download
| The wrapper for model generation and theorem proving: modGen/3 and theorem/1. |
propTabl.pl
| propTabl.pl: View Download
| The core of the implementation: tabl/3 and clash/3 |
readLine.pl
| readLine.pl: View Download
| Reading the input from stdin. |
revisedModelChecker.pl
| revisedModelChecker.pl: View Download
| The revised version of the model checker (excluding wff/1, which you have to provide yourself). |
runningFirstLambda.pl
| runningFirstLambda.pl: View Download
| Driver predicate for our first lambda approach. |
signature.pl
| signature.pl: View Download
| newconst/1
|
solveConstraint.pl
| solveConstraint.pl: View Download
| Solving: normalization and distribution. |
substitute.pl
| substitute.pl: View Download
| subst/3
|
usingDCG.pl
| usingDCG.pl: View Download
| Our very first experimental DCG. |