Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 13 days 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 (15 days ago)
- Default Branch: main
- Last Pushed: 2024-10-23T18:48:42.000Z (15 days ago)
- Last Synced: 2024-10-24T04:45:46.043Z (14 days 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+.