Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Logic Programming Open Source Projects

Open source projects categorized as Logic Programming
Categories > Programming Languages > Logic Programming
Oso ⭐ 3,187
Oso is a batteries-included framework for building authorization in your application.
dependent packages 11total releases 48most recent commit a month agonpm oso} Downloads
Logica ⭐ 1,558
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
total releases 23most recent commit 3 days ago
The Power Of Prolog ⭐ 1,111
Introduction to modern Prolog
most recent commit 13 days ago
Logicjs ⭐ 990
Logic programming for JavaScript.
most recent commit 7 years ago
Meander ⭐ 868
Tools for transparent data transformation
total releases 63most recent commit 3 months ago
Swipl Devel ⭐ 828
SWI-Prolog Main development repository
most recent commit 3 days ago
Streamly ⭐ 822
High performance, concurrent functional programming abstractions
total releases 21most recent commit 2 days ago
Souffle ⭐ 742
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 2 months ago
Logpy ⭐ 736
Logic Programming in Python
total releases 14most recent commit 4 years ago
Atomspace ⭐ 727
The OpenCog (hyper-)graph database and graph rewriting system
total releases 9most recent commit 2 days ago
Precept ⭐ 639
A declarative programming framework
total releases 4most recent commit 2 years ago
Clingo ⭐ 525
🤔 A grounder and solver for logic programs.
dependent packages 18total releases 9most recent commit 13 days agopypi clingo} Downloads
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 4total releases 16most recent commit 8 months agonpm tau-prolog} Downloads
Percival ⭐ 497
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
most recent commit 7 months ago
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 3total releases 72most recent commit a month ago
Plam ⭐ 430
An interpreter for learning and exploring pure λ-calculus
most recent commit 2 years ago
Pyswip ⭐ 383
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 8 months agopypi pyswip} Downloads
Crepe ⭐ 371
Datalog compiler embedded in Rust as a procedural macro
dependent packages 1total releases 7most recent commit 6 months agocargo crepe} Downloads
Logtalk3 ⭐ 368
Logtalk - declarative object-oriented logic programming language
total releases 1most recent commit 2 days ago
Shen Sources ⭐ 319
The Official Shen Sources
total releases 1most recent commit a month ago
Holmes ⭐ 289
A reference library for constraint-solving with propagators and CDCL.
most recent commit 7 months ago
Z3.rs ⭐ 261
Rust bindings for the Z3 solver.
dependent packages 8total releases 11most recent commit a month agocargo z3-sys} Downloads
Ejercicios Practicos ⭐ 237
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
most recent commit 2 years ago
The 10 Most Depended On Logic Programming Open Source Projects
2p Kt ⭐ 71
A Kotlin Multi-Platform ecosystem for symbolic AI
dependent packages 22total releases 172latest release August 24, 2022most recent commit 2 days agonpm @tuprolog/2p-core} Downloads
Clingo ⭐ 525
🤔 A grounder and solver for logic programs.
dependent packages 18total releases 9latest release May 04, 2022most recent commit 13 days agopypi clingo} Downloads
Oso ⭐ 3,187
Oso is a batteries-included framework for building authorization in your application.
dependent packages 11total releases 48latest release April 03, 2023most recent commit a month agonpm oso} Downloads
Z3.rs ⭐ 261
Rust bindings for the Z3 solver.
dependent packages 8total releases 11latest release August 24, 2021most recent commit a month agocargo z3-sys} Downloads
Gini ⭐ 121
A fast SAT solver
dependent packages 4total releases 23latest release January 31, 2019most recent commit 2 years ago
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 4total releases 16latest release August 03, 2022most recent commit 8 months agonpm tau-prolog} Downloads
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 3total releases 72latest release September 19, 2022most recent commit a month ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 2 years ago
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 3total releases 9latest release January 19, 2022most recent commit 8 months agopypi miniKanren} Downloads
The 10 Latest Releases In Logic Programming Open Source Projects
Oso ⭐ 3,187
Oso is a batteries-included framework for building authorization in your application.
dependent packages 11total releases 48latest release April 03, 2023most recent commit a month agonpm oso} Downloads
Logica ⭐ 1,558
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
total releases 23latest release December 19, 2022most recent commit 3 days ago
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 3total releases 72latest release September 19, 2022most recent commit a month ago
2p Kt ⭐ 71
A Kotlin Multi-Platform ecosystem for symbolic AI
dependent packages 22total releases 172latest release August 24, 2022most recent commit 2 days agonpm @tuprolog/2p-core} Downloads
Ascent ⭐ 154
logic programming in Rust
dependent packages 2total releases 8latest release August 22, 2022most recent commit 2 months agocargo ascent_base} Downloads
Go ⭐ 67
Trealla Prolog embedded in Go using WASM
total releases 14latest release August 18, 2022most recent commit a day ago
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 4total releases 16latest release August 03, 2022most recent commit 8 months agonpm tau-prolog} Downloads
Logict ⭐ 73
A continuation-based backtracking logic programming monad
total releases 21latest release May 15, 2022most recent commit 15 days ago
Clingo ⭐ 525
🤔 A grounder and solver for logic programs.
dependent packages 18total releases 9latest release May 04, 2022most recent commit 13 days agopypi clingo} Downloads
Popular Programming Languages Categories
Javascript
Python
Java
Typescript
Php
C Plus Plus
Ruby
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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