A programming language designed for Propositional Calculus
A programming language that is designed for Propositional Calculus