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.