chrvadala / tableausolver Goto Github PK
View Code? Open in Web Editor NEWProlog algorithm that applies the method of analytic tableaux and creates a graphical representation of a propositional tableau
Home Page: https://en.wikipedia.org/wiki/Method_of_analytic_tableaux