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 llinterp.pro.

Some example propositional formulas to try with this interpreter are given 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.

database.ll
Database updating example.
intuit.ll
Theorem prover for intuitionistic logic
natlang.ll
Natural language parsing
rewrite.ll
Multiset rewriting.
switch.ll
Turning a switch on and off.
The file session contains a sample session with Prolog where the interpreter is loaded and used.