Awesome Open Source
Awesome Open Source
Combined Topics
logic-programming
x
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
The Top 26 Logic Programming Open Source Projects
Categories
>
Programming Languages
>
Logic Programming
Oso
⭐
977
Oso is a batteries-included library for building authorization in your application.
The Power Of Prolog
⭐
788
Introduction to modern Prolog
Meander
⭐
640
Tools for transparent data transformation
Precept
⭐
623
A declarative programming framework
Streamly
⭐
554
Beautiful Streaming, Concurrent and Reactive Composition (Haskell)
Atomspace
⭐
500
The OpenCog (hyper-)graph database and graph rewriting system
Souffle
⭐
440
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
⭐
386
An interpreter for learning and exploring pure λ-calculus
Tau Prolog
⭐
352
An open source Prolog interpreter in JavaScript
Pyswip
⭐
279
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
⭐
275
A reference library for constraint-solving with propagators and CDCL.
Shen Sources
⭐
251
The Official Shen Sources
Logtalk3
⭐
228
Logtalk - declarative object-oriented logic programming language
Datalog
⭐
217
An in-memory datalog implementation for OCaml.
Neural Logic Machines
⭐
198
Implementation for the Neural Logic Machines (NLM).
Logician
⭐
182
Logic programming in Swift
Crepe
⭐
180
Datalog compiler in Rust as a procedural macro
Poprc
⭐
173
A Compiler for the Popr Language
Cosmos
⭐
164
A new logic programming language.
Gini
⭐
117
A fast SAT solver
Natural_logic_interpreter
⭐
110
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
Brachylog
⭐
100
A terse declarative logic programming language
Poodle
⭐
73
Poodle - Python framework for AI Planning and automated programming
Hydiomatic
⭐
65
The Hy Transformer
Knowledge
⭐
16
combining wikidata and clojure core.logic
Modal_logic
⭐
16
Final Year Masters Project: modal logic solver tableaux
1-26 of 26 projects
Advertising
📦 10
All Projects
Application Programming Interfaces
📦 124
Applications
📦 192
Artificial Intelligence
📦 78
Blockchain
📦 73
Build Tools
📦 113
Cloud Computing
📦 80
Code Quality
📦 28
Collaboration
📦 32
Command Line Interface
📦 49
Community
📦 83
Companies
📦 60
Compilers
📦 63
Computer Science
📦 80
Configuration Management
📦 42
Content Management
📦 175
Control Flow
📦 213
Data Formats
📦 78
Data Processing
📦 276
Data Storage
📦 135
Economics
📦 64
Frameworks
📦 215
Games
📦 129
Graphics
📦 110
Hardware
📦 152
Integrated Development Environments
📦 49
Learning Resources
📦 166
Legal
📦 29
Libraries
📦 129
Lists Of Projects
📦 22
Machine Learning
📦 347
Mapping
📦 64
Marketing
📦 15
Mathematics
📦 55
Media
📦 239
Messaging
📦 98
Networking
📦 315
Operating Systems
📦 89
Operations
📦 121
Package Managers
📦 55
Programming Languages
📦 245
Runtime Environments
📦 100
Science
📦 42
Security
📦 396
Social Media
📦 27
Software Architecture
📦 72
Software Development
📦 72
Software Performance
📦 58
Software Quality
📦 133
Text Editors
📦 49
Text Processing
📦 136
User Interface
📦 330
User Interface Components
📦 514
Version Control
📦 30
Virtualization
📦 71
Web Browsers
📦 42
Web Servers
📦 26
Web User Interface
📦 210
