https://github.com/sigpwned/horn4j

A simple library for performing logical reasoning with Horn clauses for Java 11+
https://github.com/sigpwned/horn4j

abductive-reasoning deductive-reasoning horn-clauses java java-11 logical-inference

Last synced: about 1 year ago
JSON representation

A simple library for performing logical reasoning with Horn clauses for Java 11+

• Host: GitHub
• URL: https://github.com/sigpwned/horn4j
• Owner: sigpwned
• License: apache-2.0
• Created: 2024-10-23T02:36:51.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-10-23T18:48:42.000Z (over 1 year ago)
• Last Synced: 2024-10-24T04:45:46.043Z (over 1 year ago)
• Topics: abductive-reasoning, deductive-reasoning, horn-clauses, java, java-11, logical-inference
• Language: Java
• Homepage: https://github.com/sigpwned/horn4j
• Size: 60.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# horn4j

horn4j is a simple library for performing logical reasoning with Horn clauses for Java 11+.