#logic-programming (15 Repositories)
Ranked open-source repositories tagged with #logic-programming, scored by pull request acceptance likelihood and maintainer engagement velocity.
23.8%
37.0h
15 repositories tagged #logic-programming
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
composewell/streamly
High performance, streaming and concurrent functional programming in Haskell
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
potassco/clingo
🦉 A grounder and solver for logic programs.
Shen-Language/shen-sources
Shen language kernel sources for porters
LukasZahradnik/PyNeuraLogic
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
NucleoidAI/Nucleoid
Logic Language for LLMs 🌱🐋 Build World Models 🌍
luc-tielen/eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
noprompt/meander
Tools for transparent data transformation