search

ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
https://logic.manoel.dev
BSD 3-Clause "New" or "Revised" License
40 stars 1 forks source link

Implement Wang's Algorithm #2

Open ryukinix opened 6 years ago

ryukinix commented 6 years ago

This algorithm should takes N premises and one conclusion and check if the conclusion is valid.

ryukinix commented 6 years ago

Ref: http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica/HowtoLisp.txt Ref: http://www.princeton.edu/~chaff/zchaff.html