AutomatedTheoremProver

An implementation to resolve the propositional logics using functional language (scheme) The program contains the implementation of tell, ask and resolve Interfaces for theorem prover.