https://github.com/danini-the-panini/plresolution

Resolution of CNF and HORN formulau
https://github.com/danini-the-panini/plresolution

Last synced: 15 days ago
JSON representation

Resolution of CNF and HORN formulau

• Host: GitHub
• URL: https://github.com/danini-the-panini/plresolution
• Owner: danini-the-panini
• Created: 2013-09-09T15:07:59.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2013-09-11T01:07:00.000Z (over 11 years ago)
• Last Synced: 2023-06-11T05:35:17.821Z (over 1 year ago)
• Language: Ruby
• Size: 117 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
PLResolution

============

Resolution of CNF and HORN formulae, using General and SLD resolution respectively. This was for a Programming Principles practical.