Skip to content
/ Propositional-Resolution Public

Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

License

GPL-3.0 license
3 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

plazajan/Propositional-Resolution

Error
Looks like something went wrong!

About

Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

Topics

logic prolog propositional-logic theorem-prover propositional-calculus educational-software propositional-resolution classical-logic subsumption-elimination propositional pure-literal-elimination

Resources

Readme

License

GPL-3.0 license
Activity

Stars

3 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages