Awesome Open Source
Awesome Open Source
Combined Topics
logic-programming x

The Top 336 Logic Programming Open Source Projects

Categories > Programming Languages > Logic Programming
Oso ⭐ 2,391
Oso is a batteries-included framework for building authorization in your application.
dependent packages 6total releases 44most recent commit 14 days agonpm oso} Downloads
Logica ⭐ 1,402
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
total releases 21most recent commit 3 months ago
The Power Of Prolog ⭐ 992
Introduction to modern Prolog
most recent commit 16 days ago
Logicjs ⭐ 990
Logic programming for JavaScript.
most recent commit 6 years ago
Logpy ⭐ 736
Logic Programming in Python
total releases 14most recent commit 3 years ago
Meander ⭐ 733
Tools for transparent data transformation
total releases 63most recent commit 4 months ago
Streamly ⭐ 705
Dataflow programming and declarative concurrency
total releases 21most recent commit 6 days ago
Precept ⭐ 639
A declarative programming framework
total releases 4most recent commit 3 months ago
Atomspace ⭐ 602
The OpenCog (hyper-)graph database and graph rewriting system
total releases 9most recent commit 12 days ago
Souffle ⭐ 571
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.
most recent commit a day ago
Tau Prolog ⭐ 439
An open source Prolog interpreter in JavaScript
dependent packages 3total releases 14most recent commit 8 days agonpm tau-prolog} Downloads
Plam ⭐ 387
An interpreter for learning and exploring pure λ-calculus
most recent commit a year ago
Percival ⭐ 378
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
most recent commit 21 days ago
Prolog ⭐ 361
The only reasonable scripting engine for Go.
dependent packages 1total releases 64most recent commit 4 days ago
Pyswip ⭐ 347
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.
dependent packages 5total releases 13most recent commit a month agopypi pyswip} Downloads
Logtalk3 ⭐ 295
Logtalk - declarative object-oriented logic programming language
most recent commit a day ago
Shen Sources ⭐ 282
The Official Shen Sources
most recent commit 2 months ago
Holmes ⭐ 280
A reference library for constraint-solving with propagators and CDCL.
most recent commit 4 months ago
Crepe ⭐ 255
Datalog compiler embedded in Rust as a procedural macro
dependent packages 1total releases 7most recent commit 3 months agocargo crepe} Downloads
Ejercicios Practicos ⭐ 237
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
most recent commit 3 months ago
Datalog ⭐ 224
An in-memory datalog implementation for OCaml.
most recent commit 9 months ago
Poprc ⭐ 180
A Compiler for the Popr Language
most recent commit a year ago
Logician ⭐ 174
Logic programming in Swift
most recent commit 2 years ago
Swi Web Prolog ⭐ 168
A proof-of-concept SWI-Prolog implementation of Web Prolog
most recent commit a year ago
Cosmos ⭐ 164
A new logic programming language.
most recent commit a year ago
Neural Logic Machines ⭐ 157
Implementation for the Neural Logic Machines (NLM).
most recent commit 3 years ago
Higher ⭐ 151
Higher-kinded programming in OCaml
most recent commit a year ago
Z3.rs ⭐ 150
Rust bindings for the Z3 solver.
dependent packages 6total releases 17most recent commit 2 months agocargo z3} Downloads
Julog.jl ⭐ 133
A Julia package for Prolog-style logic programming.
most recent commit 25 days ago
Pyneuralogic ⭐ 129
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
total releases 27most recent commit 2 days ago
Logictensornetworks ⭐ 127
Deep Learning and Logical Reasoning from Data and Knowledge
most recent commit 2 months ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 9 months ago
Gini ⭐ 121
A fast SAT solver
dependent packages 4total releases 23most recent commit 10 months ago
Ciao ⭐ 120
Ciao is a general purpose, multi-paradigm programming language in the Prolog family
most recent commit 2 months ago
Lisprolog ⭐ 114
Interpreter for a simple Lisp. Written in Prolog.
most recent commit a year ago
Logically ⭐ 106
explorations in core.logic
most recent commit 2 months ago
Natural_logic_interpreter ⭐ 105
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
most recent commit 4 years ago
Brachylog ⭐ 93
A terse declarative logic programming language
most recent commit 2 years ago
Ukanren Rs ⭐ 87
Rust implementation of µKanren, a featherweight relational programming language.
most recent commit 8 months ago
Amziprolog ⭐ 81
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
most recent commit 6 months ago
Kanren ⭐ 67
An extensible, lightweight relational/logic programming DSL written in pure Python
most recent commit 4 months ago
Pylo2 ⭐ 67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
most recent commit a year ago
Datalog ⭐ 67
simplified query engine based on logic programming paradigm
most recent commit 3 years ago
Eclair Lang ⭐ 65
An minimal, fast Datalog implementation in Haskell
most recent commit 7 days ago
Hydiomatic ⭐ 63
The Hy Transformer
most recent commit 3 years ago
Awesome Agi Cocosci ⭐ 60
An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.
most recent commit 3 days ago
Sicp Logic ⭐ 58
A Clojure implementation of the logic programming language from chapter 4 of SICP
most recent commit 3 years ago
Rtec ⭐ 57
RTEC is an Event Calculus implementation optimised for stream reasoning
most recent commit 3 months ago
Logict ⭐ 56
A continuation-based backtracking logic programming monad
most recent commit 11 days ago
Thema ⭐ 55
A CUE-based framework for portable, evolvable schema
most recent commit 13 days ago
Cplint ⭐ 53
cplint is a suite of programs for reasoning with probabilistic logic programs
most recent commit 2 months ago
Neuralogic ⭐ 51
Deep relational learning through differentiable logic programming.
most recent commit 20 days ago
Tanklogo ⭐ 49
1v1 tank war model built by NetLogo 💥
most recent commit 4 years ago
Pytholog ⭐ 48
Python library that enables using prolog syntax and logic programming in python
most recent commit 5 months ago
2p Kt ⭐ 47
A Kotlin Multi-Platform ecosystem for symbolic AI
most recent commit 5 hours ago
Mixologician ⭐ 46
optimize your home bar with ✨logic programming✨
most recent commit 4 months ago
Alpha ⭐ 44
A lazy-grounding Answer-Set Programming system
most recent commit a month ago
Guan ⭐ 43
Guan is a general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
most recent commit 2 months ago
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), ... ::::::
most recent commit 13 days ago
Jatalog ⭐ 41
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
most recent commit 4 years ago
Canrun_rs ⭐ 40
A Rust logic programming library inspired by the *Kanren family of language DSLs.
most recent commit 10 months ago
Hopes ⭐ 40
Higher Order Prolog with Extensional Semantics
most recent commit 2 years ago
Lecturas_glc ⭐ 35
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 15 hours ago
Neural Symbolic And Probabilistic Logic Papers ⭐ 35
A curated paper list on neural symbolic and probabilistic logic.
most recent commit 2 months ago
Ascent ⭐ 34
logic programming in Rust
most recent commit 3 days ago
Blawx ⭐ 32
A user-friendly web-based tool for Rules as Code.
most recent commit 7 days ago
Comingle ⭐ 32
CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
most recent commit 5 years ago
Rulog ⭐ 30
Ruby with Logic, a prolog-style logic programming system for Ruby
most recent commit 4 years ago
Pyscheme ⭐ 29
A small demo lambda-language written in Python
most recent commit 4 years ago
Axiomatic ⭐ 29
Swift unification framework for logic programming
most recent commit 3 years ago
Logickit ⭐ 29
A Prolog-like language as a Swift Embedded Domain Specific Language.
most recent commit 9 months ago
Clpsmt Minikanren ⭐ 28
CLP(SMT) on top of miniKanren
most recent commit 3 months ago
Hyp ⭐ 27
hyp: hypergraphs toolkit
most recent commit 6 years ago
Gominikanren ⭐ 27
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
most recent commit a day ago
Lps Studio ⭐ 27
🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
most recent commit 4 years ago
Pattern_printing ⭐ 26
This repo is all about pattern printing .
most recent commit a month ago
Slpkanren ⭐ 25
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
most recent commit 9 years ago
Embasp ⭐ 25
A general framework for embedding Logic Programming in complex systems
most recent commit 24 days ago
Ilasp Releases ⭐ 23
most recent commit 2 months ago
Fslogic ⭐ 22
A port of MiniKanren to F# - embedded, typed logic programming
most recent commit 4 years ago
Logician ⭐ 20
🖖 Prolog-style Logic Programming in pure R
most recent commit 2 years ago
Logical ⭐ 19
Minimalistic logic programming framework
most recent commit 2 years ago
Loide ⭐ 19
Web-based IDE for Logic Programming
most recent commit 9 months ago
Rsolve ⭐ 19
Ask for solutions.
most recent commit 3 years ago
Logica De Programacao ⭐ 18
📚 Repositório contendo vários exercícios de lógica de programação em diversas linguagens.
most recent commit 4 years ago
101 Daily Codes ⭐ 18
💻Lógica de programação básica, todo dia será criado um novo arquivo .js comentado com um exercício em JavaScript
most recent commit 15 days ago
Mathematical Logic ⭐ 17
数理逻辑
most recent commit 2 months ago
Tabled Prolog Book ⭐ 17
Programming in Tabled Prolog by David S Warren
most recent commit 2 years ago
Retex ⭐ 17
A boilerplate/proof-of-concept for a Rete Algorithm implementation in Elixir
most recent commit 4 months ago
Fasill ⭐ 17
Fuzzy Aggregators and Similarity Into a Logic Language
most recent commit 11 days ago
Awesome Neural Logic ⭐ 17
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
most recent commit 2 years ago
Reading Material ⭐ 16
Reading schedule and our library of pdfs
most recent commit 3 years ago
Minikanren Datalog ⭐ 16
Datalog implemented in minikanren
most recent commit 5 years ago
Zamia Prolog ⭐ 16
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
most recent commit 4 years ago
Loreleai ⭐ 15
A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
most recent commit a year ago
Debug_adapter ⭐ 15
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
most recent commit 2 months ago
Modal_logic ⭐ 15
Final Year Masters Project: modal logic solver tableaux
most recent commit 4 years ago
Angry Hex ⭐ 15
An artificial player for the popular video game Angry Birds
most recent commit 3 years ago
Wam ⭐ 14
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
most recent commit 2 years ago
Curry Language Server ⭐ 14
IDE support for the functional logic language Curry
most recent commit 3 months ago
1-100 of 336 projects
Related Awesome Lists
Prolog Logic Programming Projects (125)
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,046,513)
Python  (794,038)
Java  (384,745)
Php  (284,342)
Typescript  (238,372)
C Plus Plus  (235,678)
Ruby  (221,647)
C  (180,021)
Shell  (169,271)
C Sharp  (161,668)
Golang  (155,705)
Swift  (64,594)
Objective C  (57,180)
R  (57,097)
Rust  (55,814)
Dart  (51,233)
Kotlin  (45,308)
Lua  (33,168)
Matlab  (30,832)
Perl  (30,482)
Language  (30,083)
Scala  (28,582)
Haskell  (20,223)
Clojure  (19,065)
Powershell  (18,770)
Bash  (18,586)
Coffeescript  (17,335)
Elixir  (16,549)
Assembly  (14,508)
Processing  (13,295)
Julia  (12,509)
Basic  (10,772)
Flow  (10,528)
Emacs Lisp  (10,358)
Erlang  (9,057)
Scheme  (8,442)
Groovy  (8,426)
Solidity  (7,543)
Ocaml  (6,660)
Pascal  (6,371)
Hack  (6,365)
Lisp  (6,345)
Fortran  (5,475)
Elm  (5,468)
Common Lisp  (5,285)
Dlang  (4,742)
Shell Script  (4,626)
Python Library  (4,446)
Crystal  (4,373)
Scripting  (4,199)
Top Projects
Freecodecamp ⭐ 346,085
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,047
Coding Interview University ⭐ 219,725
Awesome ⭐ 201,499
Vue ⭐ 195,787
Developer Roadmap ⭐ 194,812
Public Apis ⭐ 192,026
React ⭐ 188,079
System Design Primer ⭐ 180,726
Tensorflow ⭐ 164,981
Bootstrap ⭐ 157,299
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,101
Build Your Own X ⭐ 141,447
Flutter ⭐ 140,685
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,032
Gitignore ⭐ 133,164
Linux ⭐ 131,866
Vscode ⭐ 131,762
Awesome Python ⭐ 126,837
Javascript ⭐ 122,717
Javaguide ⭐ 121,487
Python 100 Days ⭐ 117,585
Computer Science ⭐ 112,893
Youtube Dl ⭐ 110,029
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,754
Electron ⭐ 101,722
D3 ⭐ 100,901
Go ⭐ 99,254
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,021
Axios ⭐ 93,400
Awesome Selfhosted ⭐ 88,479
Kubernetes ⭐ 88,475
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,657
Next.js ⭐ 86,824
Terminal ⭐ 83,149
Deno ⭐ 82,461
Three.js ⭐ 82,021
Angular ⭐ 81,395
Awesome Go ⭐ 80,742
Typescript ⭐ 80,677
Ant Design ⭐ 80,313
Material Ui ⭐ 78,463
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.