主题 · 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+1近 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+1近 7 天星标变化
#6
streamly ↗@composewellHaskell
Haskell 中的高性能、流式与并发函数式编程
★ 923+1近 7 天星标变化
#7
clingo ↗@potasscoC++
🦉 逻辑程序的基底器与求解器。
★ 830+2近 7 天星标变化
#8
Nucleoid ↗@NucleoidAIRust
LLM 的逻辑语言 🌱🐋 建立世界模型 🌍
★ 769+1近 7 天星标变化
#9
prolog ↗@ichibanGo
Go 语言中唯一合理的脚本引擎。
★ 729+1近 7 天星标变化
#10
ascent ↗@s-arashRust
Rust 语言的逻辑编程。
★ 579+3近 7 天星标变化
#11
pyswip ↗@yucePython
PySwip 是一个 Python-Prolog 接口，允许在 Python 程序中查询 SWI-Prolog。
★ 549-1近 7 天星标变化
#12
z3.rs ↗@prove-rsRust
Z3 求解器的 Rust 绑定
★ 533+1近 7 天星标变化
#13
crepe ↗@ekzhangRust
以过程宏形式嵌入 Rust 的 Datalog 编译器
★ 530+0近 7 天星标变化

← 返回主题列表