https://github.com/mmxgn/generic-logic

Generic Logic-Based stuff
https://github.com/mmxgn/generic-logic

Last synced: 7 days ago
JSON representation

Generic Logic-Based stuff

• Host: GitHub
• URL: https://github.com/mmxgn/generic-logic
• Owner: mmxgn
• Created: 2012-05-05T17:59:35.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2012-05-31T11:54:42.000Z (over 12 years ago)
• Last Synced: 2024-10-11T21:00:03.996Z (about 1 month ago)
• Size: 113 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
Generic Logic-Based stuff.

Two files for the moment:

testlgg.oz -->  Some test functions about the generalization

		operator in oz.

logic.oz  -->    Some simple classes for a Propositional Clausal Logic

                 model searcher and theorem prover.

logic2.oz -->    Some simple classes for a Relational Clausal Logic

                 model searcher and theorem prover.