Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org : scfirstorderlogic
Basic but fully functional and documented first-order logic implementations. Includes multiple ways to write sentences, as well as simple but extensible chaining and resolution knowledge base implementations that allow for proof tree retrieval.
Registry
- Homepage
- JSON
purl: pkg:nuget/scfirstorderlogic
Keywords: first, order, predicate, logic, inference, engine, knowledge, base, linq
License: MIT
Latest release: 4 months ago
First release: over 1 year ago
Dependent packages: 1
Downloads: 9,428 total
Last synced: 27 days ago