Code related to the Information & Computation
paper by Hodas & Miller
The Prolog code for the interpreter of propositional Lolli given
in this paper is ebellished a bit and give in the file
examples.pro.
In the paper, several small examples were discussed. They are encoded
into the following Prolog code for use with this interpreter.
-
intuit.ll
- Theorem prover for intuitionistic logic
-
rewrite.ll
- Multiset rewriting.
-
session contains a sample session with Prolog where the interpreter is
loaded and used.