logic-programming
There are 1358 repositories under logic-programming topic.
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
triska/the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
SWI-Prolog/swipl-devel
SWI-Prolog Main development repository
souffle-lang/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
noprompt/meander
Tools for transparent data transformation
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
composewell/streamly
High performance, concurrent functional programming abstractions
potassco/clingo
🦉 A grounder and solver for logic programs.
ichiban/prolog
The only reasonable scripting engine for Go.
NucleoidAI/Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
CoNarrative/precept
A declarative programming framework
ekzhang/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
tau-prolog/tau-prolog
An open source Prolog interpreter in JavaScript
yuce/pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
s-arash/ascent
Logic programming in Rust
ekzhang/crepe
Datalog compiler embedded in Rust as a procedural macro
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
prove-rs/z3.rs
Rust bindings for the Z3 solver.
alexanyernas/Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Shen-Language/shen-sources
Shen language kernel sources for porters
SHI-Yu-Zhe/awesome-agi-cocosci
An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.
logictensornetworks/logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
LukasZahradnik/PyNeuraLogic
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
google/neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
c-cube/datalog
An in-memory datalog implementation for OCaml.
SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
HackerFoo/poprc
A Compiler for the Popr Language
grafana/thema
A CUE-based framework for portable, evolvable schema
luc-tielen/eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
mdiep/Logician
Logic programming in Swift
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.