All tags
Catalogue tag

#logic-programming

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

7 records
Tagged “logic-programming”Ranked by health index
PyPI
90Excellenthealth index
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 831↓ 116.7K/moSep 14, 2026
MITSep 14, 2026 · metrics 2.10.0
crates.io
81Excellenthealth index
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 533↓ 399.4K/moSep 13, 2026
No licenseSep 13, 2026 · metrics 2.10.0
Maven · npm
78Goodhealth index
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Kotlin★ 117Oct 19, 2026
Apache-2.0Oct 19, 2026 · metrics 2.10.0
crates.io
53Moderatehealth index
s-arash/ascent
Logic programming in Rust
Rust★ 591↓ 235.7K/moOct 21, 2026
MITOct 21, 2026 · metrics 2.10.0
Go
53Moderatehealth index
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 84Sep 13, 2026
MITSep 13, 2026 · metrics 2.10.0
npm
35Weakhealth index
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 62↓ 306/moSep 15, 2026
MITSep 15, 2026 · metrics 2.10.0
—
30At Riskhealth index
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 179Sep 17, 2026
Apache-2.0Sep 17, 2026 · metrics 2.10.0