#logic-programming (23 Repositories)
Ranked open-source repositories tagged with #logic-programming, scored by pull request acceptance likelihood and maintainer engagement velocity.
25.7%
3.8h
23 repositories tagged #logic-programming
potassco/clingo
🦉 A grounder and solver for logic programs.
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
prove-rs/z3.rs
Rust bindings for the Z3 solver.
composewell/streamly
High performance, streaming and concurrent functional programming in Haskell
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
engboris/stellogen
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
Shen-Language/shen-sources
Shen language kernel sources for porters
LukasZahradnik/PyNeuraLogic
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
noprompt/meander
Tools for transparent data transformation
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
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.
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
NucleoidAI/Nucleoid
Synthesized Logic Language for World Models 🌱🐋🌍
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
mdiep/Logician
Logic programming in Swift
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
ichiban/prolog
The only reasonable scripting engine for Go.
CoNarrative/precept
A declarative programming framework
ekzhang/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization