/Theorem-prover

Prolog program to search for all interpretations that satisfies a given Boolean formula.

Primary LanguageProlog

No issues in this repository yet.