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

Some example propositional formulas to try with this interpreter are given in the file

In the paper, several small examples were discussed. They are encoded into the following Prolog code for use with this interpreter.

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