https://github.com/benhuds/wangs-algorithm

Propositional theorem prover using Wang's algorithm
https://github.com/benhuds/wangs-algorithm

prolog propositional-logic theorem-prover

Last synced: 4 months ago
JSON representation

Propositional theorem prover using Wang's algorithm

• Host: GitHub
• URL: https://github.com/benhuds/wangs-algorithm
• Owner: benhuds
• Created: 2014-12-02T20:44:38.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2016-10-17T20:02:02.000Z (over 9 years ago)
• Last Synced: 2025-10-09T12:05:03.393Z (8 months ago)
• Topics: prolog, propositional-logic, theorem-prover
• Language: Prolog
• Homepage:
• Size: 7.81 KB
• Stars: 7
• Watchers: 1
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
### wang.pl:

a propositional theorem prover which uses Wang's algorithm (based on the sequent calculus LK). Provides a printout of the step-by-step proof and prints out the instance of failure in case the algorithm fails.

(final project for Computational Logic and Logic Programming at Wesleyan University, Fall 2014)