cplint
Logic reasoner
A suite of programs for reasoning with probabilistic logic programs
cplint is a suite of programs for reasoning with probabilistic logic programs
69 stars
11 watching
13 forks
Language: Prolog
last commit: almost 2 years agoLinked from 1 awesome list
inductive-logic-programminglogic-programmingmachine-learningprobabilistic-logic-programmingprobabilistic-programmingprolog
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tilde-lab/pyfactxx | Provides Python bindings for an optimized description logic reasoner | 23 |
 triska/clpz | A system for solving problems with logical rules and integer arithmetic constraints | 189 |
 ninjarobot/pengines.client | A F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules. | 10 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 cripac-dig/logiccheckgpt | An open-source framework for detecting and mitigating object hallucinations in large vision-language models by analyzing logical consistency. | 19 |
 julianmendez/jcel | A reasoner for the description logic EL+ ontology language | 14 |
 gtfierro/reasonable | An OWL 2 RL reasoner with performance optimized for data processing tasks | 77 |
 coq-community/alea | A library for reasoning about randomized algorithms in Coq | 25 |
 rlouf/mcx | Tools and methods for Bayesian deep learning using probabilistic programming. | 328 |
| julianmendez/cel | An algorithmic reasoner for describing and inferring relationships in large-scale ontologies | 17 |
 cpeikert/lol | A cryptographic library built on top of lattices that enables fully-homomorphic encryption | 225 |
 ggg0919/cantor | An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning | 73 |
 sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
 galigator/openllet | An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies. | 101 |
 pauliusm/pronto-yamllint | A tool that integrates YAMLlint into the Pronto continuous integration and testing framework | 3 |