logic-programming

There are 27 repositories under logic-programming topic.

logica
EvgSkv / logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
datalog sql bigquery language prolog-implementation prolog logica postgresql sqlite trino presto logic-programming
Language:Jupyter Notebook 2053
triska / the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
prolog book logic-programming teaching-materials constraints
Language:HTML 1336
SWI-Prolog / swipl-devel
SWI-Prolog Main development repository
swi-prolog prolog logic-programming
Language:C 1139
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.
datalog static-code-analysis souffle translator logic-programming
Language:C++ 1019
noprompt / meander
Tools for transparent data transformation
logic-programming pattern-matching program-transformation substitution term-rewriting unification
Language:Clojure 958
opencog / atomspace
The OpenCog (hyper-)graph database and graph rewriting system
graph-database knowledge-representation query-engine logic-programming knowledge-graph knowledge-base query-language relational-database relational-algebra rewrite-system rewriting graph-rewriting atomspace
Language:C++ 919
composewell / streamly
High performance, concurrent functional programming abstractions
concurrency streaming reactive-programming frp haskell non-determinism logic-programming stream-fusion modular arrays folds unicode filesystem network parsers pipes unfolds loops dataflow async
Language:Haskell 905
potassco / clingo
🦉 A grounder and solver for logic programs.
answer-set-programming declarative-programming logic-programming
Language:C++ 709
ichiban / prolog
The only reasonable scripting engine for Go.
go golang interpreter logic-programming prolog
Language:Go 692
Nucleoid
NucleoidAI / Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
node neuro-symbolic-ai neuro-symbolic reasoning semantic-reasoning symbolic reasoning-engine semantic-reasoner logic logic-programming expert-system knowledge-base knowledge rag knowledge-graph graph-rag neuro-symbolic-learning typescript
Language:TypeScript 688
CoNarrative / precept
A declarative programming framework
rules clojure clojurescript functional-relational-programming declarative-programming functional-reactive-programming logic-programming
Language:Clojure 660
percival
ekzhang / percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
data-visualization datalog logic-programming query-language dsl reactive visualization charts notebook
Language:Rust 627
tau-prolog
tau-prolog / tau-prolog
An open source Prolog interpreter in JavaScript
tau-prolog prolog-interpreter iso-prolog-standard javascript prolog prolog-programming-language prolog-implementation logic-programming
Language:JavaScript 622
yuce / pyswip
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
artificial-intelligence expert-systems logic-programming natural-language-processing prolog python robotics swi-prolog
Language:Python 529
ascent
s-arash / ascent
Logic programming in Rust
rust datalog logic-programming lattice declarative-language
Language:Rust 517
ekzhang / crepe
Datalog compiler embedded in Rust as a procedural macro
datalog logic-programming rust souffle static-analysis translator
Language:Rust 485
logtalk3
LogtalkDotOrg / logtalk3
Logtalk - declarative object-oriented logic programming language
logtalk logic-programming prolog oop declarative-language declarative-programming
Language:Prolog 469
slovnicki / pLam
An interpreter for learning and exploring pure λ-calculus
lambda-calculus programming-language computability-theory numeral-systems logic-programming church church-encoding interpreter language lambda computability functional-programming
Language:Haskell 467
prove-rs / z3.rs
Rust bindings for the Z3 solver.
logic-programming smt smt-solver rust-bindings rust ffi-bindings
Language:Rust 440
alexanyernas / Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
logic-programming logic practice exercises
407
Shen-Language / shen-sources
Shen language kernel sources for porters
functional-programming lisp logic-programming programming-language prolog shen static-typing
Language:Shen 379
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.
awesome artificial-general-intelligence computational-cognitive-science abduction bayesian pragmatics theory-of-mind language-of-thought logic-programming developmental-psychology planning intuitive-physics explainable-ai hybrid-system analogy commonsense scientific-discovery general-pattern-theory awesome-list mind-simulation
Language:TeX 349
logictensornetworks / logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
machinelearning tensorflow logic-programming fuzzy-logic
Language:Jupyter Notebook 319
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.
prolog compiler programming-language logic interpreter bytecode virtual-machine clp constraints prolog-implementation prolog-interpreter prolog-compiler iso-prolog-standard ciao-prolog prolog-programming-language logic-programming
Language:Prolog 318
i-am-tom / holmes
A reference library for constraint-solving with propagators and CDCL.
propagation constraint-solver backtracking logic-programming
Language:Haskell 306
pyreason
lab-v2 / pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
logic logic-programming machine-learning neurosymbolic python temporal-logic
Language:Python 305
PyNeuraLogic
LukasZahradnik / PyNeuraLogic
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
machine-learning deep-learning graph-neural-networks relational-learning python geometric-deep-learning pytorch logic-programming differentiable-programming
Language:Python 301
google / neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
logic-programming neuro-symbolic-learning reinforcement-learning
Language:Python 291
c-cube / datalog
An in-memory datalog implementation for OCaml.
datalog prolog ocaml logic-programming memoization
Language:Prolog 273
SuperDisk / tar.pl
tar creator+extractor in ~100 lines of prolog
logic-programming prolog tar unix
Language:Prolog 262
poprc
HackerFoo / poprc
A Compiler for the Popr Language
compiler concatenative dependent-types functional high-level-synthesis language linear-logic logic-programming non-deterministic partial-evaluators popr popr-compiler supercompiler verilog
Language:C 254
grafana / thema
A CUE-based framework for portable, evolvable schema
openapi openapi3 cue cuelang grafana schema versioning packaging logic-programming config
Language:Go 232
pythological / kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
clp constraint-logic-programming logic-programming minikanren relational-programming symbolic-computation
Language:Python 231
eclair-lang
luc-tielen / eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
compiler datalog haskell llvm logic-programming
Language:Haskell 225
mdiep / Logician
Logic programming in Swift
swift kanren logic-programming solver constraints
Language:Swift 198
SAKET-SK / Programming-Aptitude-Interview-Prep
The exact prep I did for coding rounds; all programming aptitude questions and answers are sourced from the internet for preparation and to understand the logic-building approach. If you wish to contribute to this repository, you are highly welcome to do so. By doing this, lets try and build a big repository of coding round questions in one place.
aptitude programming-languages logic-programming aptitude-solver aptitudetraining aptitude-tests exercises technical-test interview-technical
Language:Java 198