Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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.