Topic · logic-programming

logic-programming

Tracked open-source repos tagged logic-programming, sorted by stars.

Repos

13

Total stars

12,389

Avg. stars

953

Share

0.00%

Topics that frequently appear alongside logic-programming on the same repo.

Recent risers

Repos created in the last 90 days, tagged logic-programming.

No new repos tagged with this topic in the last 90 days.

#1
logica ↗@EvgSkvJupyter Notebook
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
★ 2,132+0Star change over the last 7 days
#2
the-power-of-prolog ↗@triskaHTML
The Power of Prolog: Introduction to modern Prolog
★ 1,402+2Star change over the last 7 days
#3
swipl-devel ↗@SWI-PrologC
SWI-Prolog Main development repository
★ 1,278+4Star change over the last 7 days
#4
souffle ↗@souffle-langC++
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.
★ 1,155+3Star change over the last 7 days
#5
atomspace ↗@opencogC++
The OpenCog (hyper-)graph database and graph rewriting system
★ 995+2Star change over the last 7 days
#6
streamly ↗@composewellHaskell
High performance, streaming and concurrent functional programming in Haskell
★ 923+0Star change over the last 7 days
#7
clingo ↗@potasscoC++
🦉 A grounder and solver for logic programs.
★ 829+4Star change over the last 7 days
#8
Nucleoid ↗@NucleoidAIRust
Logic Language for LLMs 🌱🐋 Build World Models 🌍
★ 769+1Star change over the last 7 days
#9
prolog ↗@ichibanGo
The only reasonable scripting engine for Go.
★ 729+0Star change over the last 7 days
#10
ascent ↗@s-arashRust
Logic programming in Rust
★ 578+2Star change over the last 7 days
#11
pyswip ↗@yucePython
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
★ 550+1Star change over the last 7 days
#12
z3.rs ↗@prove-rsRust
Rust bindings for the Z3 solver.
★ 532+0Star change over the last 7 days
#13
crepe ↗@ekzhangRust
Datalog compiler embedded in Rust as a procedural macro
★ 530+1Star change over the last 7 days

← Back to topics