Усі теги
Тег каталогу

#logic-programming

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

7 записів
З тегом «logic-programming»Упорядковано за індексом здоров'я
PyPI
90Відміннийіндекс здоров'я
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 831↓ 116.7K/міс14 вер. 2026 р.
MIT14 вер. 2026 р. · метрики 2.10.0
crates.io
81Відміннийіндекс здоров'я
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 533↓ 399.4K/міс13 вер. 2026 р.
Без ліцензії13 вер. 2026 р. · метрики 2.10.0
Maven · npm
78Добрийіндекс здоров'я
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Kotlin★ 11719 жовт. 2026 р.
Apache-2.019 жовт. 2026 р. · метрики 2.10.0
crates.io
53Помірнийіндекс здоров'я
s-arash/ascent
Logic programming in Rust
Rust★ 591↓ 235.7K/міс21 жовт. 2026 р.
MIT21 жовт. 2026 р. · метрики 2.10.0
Go
53Помірнийіндекс здоров'я
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 8413 вер. 2026 р.
MIT13 вер. 2026 р. · метрики 2.10.0
npm
35Слабкийіндекс здоров'я
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 62↓ 306/міс15 вер. 2026 р.
MIT15 вер. 2026 р. · метрики 2.10.0
—
30У зоні ризикуіндекс здоров'я
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 17917 вер. 2026 р.
Apache-2.017 вер. 2026 р. · метрики 2.10.0