Giters

animeshjn / resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lispclispartificial-intelligenceanimeshresolution-proofclause-normal-form

resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form

About

Proves the Sentences (LOGIC Formulae) given in Clausal Form

lispclispartificial-intelligenceanimeshresolution-proofclause-normal-form

License:GNU General Public License v3.0

Languages

Language:Common Lisp 100.0%