Basic Resolution theorem prover
An example actor application that keeps working offline