modelChecker.pl: View Download

The driver predicate evaluate/2 and the core clauses of the model checker (eval/2).

comsemOperators.pl: View Download

Operator definitions.

revisedModelChecker.pl: View Download

The revised version of the model checker (excluding wff/1, which you have to provide yourself).

signature.pl: View Download

Example vocabulary.

exampleModels.pl: View Download

Some example models to play with.

comsemLib.pl: View Download

Various helpers, compose/3 may be useful in exercises.