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