Awesome Open Source
Awesome Open Source
Combined Topics
logic-programming x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 269 Logic Programming Open Source Projects on Github

Categories > Programming Languages > Logic Programming
Oso ⭐ 1,506
Oso is a batteries-included framework for building authorization in your application.
Logica ⭐ 1,235
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
The Power Of Prolog ⭐ 823
Introduction to modern Prolog
Meander ⭐ 701
Tools for transparent data transformation
Streamly ⭐ 635
Dataflow programming and declarative concurrency
Precept ⭐ 599
A declarative programming framework
Atomspace ⭐ 549
The OpenCog (hyper-)graph database and graph rewriting system
Souffle ⭐ 500
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.
Plam ⭐ 387
An interpreter for learning and exploring pure λ-calculus
Tau Prolog ⭐ 356
An open source Prolog interpreter in JavaScript
Pyswip ⭐ 291
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Holmes ⭐ 259
A reference library for constraint-solving with propagators and CDCL.
Logtalk3 ⭐ 256
Logtalk - declarative object-oriented logic programming language
Shen Sources ⭐ 251
The Official Shen Sources
Datalog ⭐ 224
An in-memory datalog implementation for OCaml.
Crepe ⭐ 177
Datalog compiler in Rust as a procedural macro
Logician ⭐ 174
Logic programming in Swift
Poprc ⭐ 164
A Compiler for the Popr Language
Cosmos ⭐ 164
A new logic programming language.
Neural Logic Machines ⭐ 157
Implementation for the Neural Logic Machines (NLM).
Z3.rs ⭐ 134
Rust bindings for the Z3 solver.
Gini ⭐ 125
A fast SAT solver
Gini ⭐ 121
A fast SAT solver
Natural_logic_interpreter ⭐ 105
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
Julog.jl ⭐ 98
A Julia package for Prolog-style logic programming.
Logictensornetworks ⭐ 96
Deep Learning and Logical Reasoning from Data and Knowledge
Brachylog ⭐ 93
A terse declarative logic programming language
Logically ⭐ 89
explorations in core.logic
Ukanren Rs ⭐ 87
Rust implementation of µKanren, a featherweight relational programming language.
Amziprolog ⭐ 77
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Pylo2 ⭐ 67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
Datalog ⭐ 67
simplified query engine based on logic programming paradigm
Hydiomatic ⭐ 63
The Hy Transformer
Sicp Logic ⭐ 58
A Clojure implementation of the logic programming language from chapter 4 of SICP
Rtec ⭐ 52
RTEC is an Event Calculus implementation optimised for stream reasoning
Cplint ⭐ 51
cplint is a suite of programs for reasoning with probabilistic logic programs
Tanklogo ⭐ 49
1v1 tank war model built by NetLogo 💥
Logict ⭐ 48
A continuation-based backtracking logic programming monad
Kanren ⭐ 43
An extensible, lightweight relational/logic programming DSL written in pure Python
Diff Sat ⭐ 42
SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. :::::: Use cases: Probabilistic SAT solving, Probabilistic Answer Set Programming (Probabilistic ASP), ... ::::::
Jatalog ⭐ 41
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
Hopes ⭐ 40
Higher Order Prolog with Extensional Semantics
2p Kt ⭐ 34
A Kotlin Multi-Platform ecosystem for symbolic AI
Pytholog ⭐ 33
Python library that enables using prolog syntax and logic programming in python
Pyscheme ⭐ 29
A small demo lambda-language written in Python
Logickit ⭐ 29
A Prolog-like language as a Swift Embedded Domain Specific Language.
Scalogno ⭐ 28
prototyping logic programming in Scala
Lps Studio ⭐ 27
🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
Lecturas_glc ⭐ 27
Lecturas del Grupo de Lógica Computacional
Prolog Dry ⭐ 25
A terse Prolog course
Gominikanren ⭐ 25
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Clpsmt Minikanren ⭐ 25
CLP(SMT) on top of miniKanren
Blawx ⭐ 22
A user-friendly web-based tool for Rules as Code.
Hsdatalog ⭐ 21
BDD-based implementation of Datalog
Logician ⭐ 20
🖖 Prolog-style Logic Programming in pure R
Loide ⭐ 19
Web-based IDE for Logic Programming
Pattern_printing ⭐ 19
This repo is all about pattern printing .
Logical ⭐ 19
Minimalistic logic programming framework
Rsolve ⭐ 19
Ask for solutions.
Logica De Programacao ⭐ 18
📚 Repositório contendo vários exercícios de lógica de programação em diversas linguagens.
Awesome Neural Logic ⭐ 17
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Fasill ⭐ 17
Fuzzy Aggregators and Similarities Into a Logic Language
Mixologician ⭐ 17
optimize your home bar with ✨logic programming✨
Reading Material ⭐ 16
Reading schedule and our library of pdfs
Zamia Prolog ⭐ 16
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
Knowledge ⭐ 16
combining wikidata and clojure core.logic
Minikanren Datalog ⭐ 16
Datalog implemented in minikanren
Ilasp Releases ⭐ 15
Angry Hex ⭐ 15
An artificial player for the popular video game Angry Birds
Modal_logic ⭐ 15
Final Year Masters Project: modal logic solver tableaux
Wam ⭐ 14
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Deeplogic ⭐ 14
DeepLogic: Towards End-to-End Differentiable Logical Reasoning
Clpset Minikanren ⭐ 14
CLP(Set) in miniKanren
Neuralogic ⭐ 14
Deep relational learning through differentiable logic programming.
Whisper ⭐ 13
Logic programming, for Rust, from inside Rust.
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
Linearone ⭐ 12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Dali ⭐ 12
DALI Multi Agent System Framework
Othello Prolog ⭐ 12
📜 A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.
Prolog Examples ⭐ 11
Set of awesome Prolog Examples
Soul ⭐ 10
Rescuing the SOUL great logic meta programming language
Curry Language Server ⭐ 10
IDE support for the functional logic language Curry
Alsprolog ⭐ 10
ALS Prolog Compiler & Development Environment
Mfjs Logic ⭐ 10
Logical programming in JavaScript
Cyc_jrtl_with_commonlisp ⭐ 10
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
Kanren.swift ⭐ 10
Logic programming in Swift
Hitchhicker Prolog ⭐ 10
Javascript porting of Paul Tarau latest Prolog Engine architecture
Exp Log ⭐ 9
logic programming formalism under construction
Mathematical Logic ⭐ 9
数理逻辑
Project Battle Ships Game ⭐ 8
This project will help you get more familiar with arrays. You will be recreating the game of battleships. A player will place 5 of their ships on a 10 by 10 grid. The computer player will deploy five ships on the same grid. Once the game starts the player and computer take turns, trying to sink each other's ships by guessing the coordinates to "attack". The game ends when either the player or computer has no ships left. link:https://courses.edx.org/courses/course-v1:Microsoft+DEV277x+1T2018/courseware/76c11a375a0e495e83ab68121566fb12/8f250da826d7405d8fecf99aca3a5e9a/?child=first
Norm ⭐ 8
Neural Logic Programming Language
Logicpy ⭐ 8
Prolog Implementation in Python
Bomba ⭐ 8
A prototype Answer Set Programming Scala DSL.
Wviews ⭐ 7
Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
Opiec ⭐ 7
Pony Kanren ⭐ 7
An implementation of microKanren for Pony.
101 Daily Codes ⭐ 7
💻Lógica de programação básica, todo dia será criado um novo arquivo .js comentado com um exercício em JavaScript
Ut ⭐ 7
Yet Another Efficient Unification Algorithm
Prolog ⭐ 6
A Go embeddable Prolog
Logic Programming 2019 2020 ⭐ 6
Teaching assist materials for Logic programming in winter and summer semesters of 2019-2020
1-100 of 269 projects

Related Projects

Prolog Logic Programming Projects (85)
Python Logic Programming Projects (38)
Haskell Logic Programming Projects (27)
Java Logic Programming Projects (25)
Javascript Logic Programming Projects (24)
Artificial Intelligence Logic Programming Projects (22)
Logic Programming Datalog Projects (17)
C Plus Plus Logic Programming Projects (13)
Logic Programming Sat Solver Projects (12)
Haskell Prolog Logic Programming Projects (12)
C Logic Programming Projects (11)
Language Logic Programming Projects (10)
Interpreter Logic Programming Projects (10)
Logic Programming Minikanren Projects (10)
Logic Programming Kanren Projects (9)
Logic Programming Swi Prolog Projects (8)
Rust Logic Programming Projects (8)
Go Logic Programming Projects (8)
Functional Programming Logic Projects (7)
Clojure Logic Programming Projects (7)
Python Prolog Logic Programming Projects (7)
Ocaml Logic Programming Projects (7)
Functional Programming Prolog Logic Projects (3)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021