/tableauSolver

Prolog algorithm that applies the method of analytic tableaux and creates a graphical representation of a propositional tableau

Primary LanguageProlog

No issues in this repository yet.