主題 · logic-programming

logic-programming

標記 logic-programming 主題、收錄中的開源專案，依星數排序。

專案數

13

總星數

12,403

平均星數

954

佔比

0.00%

常跟 logic-programming 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 logic-programming 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
logica ↗@EvgSkvJupyter Notebook
Logica 是一種可編譯為 SQL 的邏輯程式語言，運行於 DuckDB、Google BigQuery、PostgreSQL 與 SQLite。
★ 2,132+2近 7 天星數變化
#2
the-power-of-prolog ↗@triskaHTML
Prolog 的力量：現代 Prolog 介紹
★ 1,402+1近 7 天星數變化
#3
swipl-devel ↗@SWI-PrologC
SWI-Prolog 主要開發儲存庫
★ 1,278+1近 7 天星數變化
#4
souffle ↗@souffle-langC++
Soufflé 是 Datalog 的變體，供工具設計人員使用 Horn 子句製作分析。Soufflé 從邏輯規格中合成原生平行 C++ 程式。
★ 1,155+3近 7 天星數變化
#5
atomspace ↗@opencogC++
OpenCog (超)圖形資料庫與圖形重寫系統
★ 995+3近 7 天星數變化
#6
streamly ↗@composewellHaskell
Haskell 中的高效能、串流與並行函數式程式設計
★ 923+1近 7 天星數變化
#7
clingo ↗@potasscoC++
🦉 邏輯程式的基礎器與求解器。
★ 829+1近 7 天星數變化
#8
Nucleoid ↗@NucleoidAIRust
LLM 的邏輯語言 🌱🐋 建立世界模型 🌍
★ 769+1近 7 天星數變化
#9
prolog ↗@ichibanGo
Go 語言中唯一合理的腳本引擎。
★ 729+1近 7 天星數變化
#10
ascent ↗@s-arashRust
Rust 語言的邏輯程式設計。
★ 578+3近 7 天星數變化
#11
pyswip ↗@yucePython
PySwip 是一個 Python-Prolog 介面，允許在 Python 程式中查詢 SWI-Prolog。
★ 550+0近 7 天星數變化
#12
z3.rs ↗@prove-rsRust
Z3 求解器的 Rust 綁定
★ 533+1近 7 天星數變化
#13
crepe ↗@ekzhangRust
以程序宏形式嵌入 Rust 的 Datalog 編譯器
★ 530+1近 7 天星數變化

← 返回主題列表