项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 525
使用教程
环境要求
- Python 3.9+
- PyTorch（可微场景）
安装与启动步骤
-
1装包
它有 Python 绑定，一条 pip 装完。
pip install scallopy -
2先写一段逻辑规则
用它的语法描述关系与推理规则。
-
3接一个可微场景
把逻辑输出接进神经网络，是它和普通逻辑语言的区别。
-
4跑推理看结果
重点看规则约束有没有真的起作用。
-
5从示例改起
它的示例覆盖典型用法，照改最快。
如何确认成功
写一组带约束的推理规则并接进一个小网络，训练后输出满足约束，去掉约束则明显不满足
注意事项
- 它是基于逻辑编程的可微推理语言，把符号规则和神经网络接在一起。
- 价值在于给神经输出加硬约束，而不是靠损失函数软引导。
- 语法有学习成本，先照示例改。
- 适合规则明确的场景，纯感知任务用不上。
核心亮点
- 提供可微分的逻辑推理引擎，支持端到端训练，将符号推理无缝融入深度学习流程
- 声明式语言设计简洁，降低神经符号编程门槛，并支持与 PyTorch 等主流框架集成
- 基于 Rust 实现，性能高效且内存安全，适合构建生产级推理系统
不足之处
- 文档和社区生态尚不完善，学习资源有限
- 项目处于早期阶段，API 可能不稳定，生产环境应用需谨慎
适用场景
- 视觉问答：结合图像特征与知识库规则进行复杂推理
- 知识图谱推理：对实体关系进行逻辑推断，支持可解释的链路预测
- 程序合成：利用逻辑约束引导神经模型生成符合规范的代码
替代项目
DeepProbLog、Neuralogic、L2P
上一篇：Swarm
同类项目推荐
langgraph4j
开源
用 Java 把 AI Agent 流程画成图，复杂编排可控可调
LangGraph for Java is a library for Graph Engineering, designed to build sophisticat···
ccgram
开源
手机远程监控和操控AI编程代理，随时随地响应提示。
Telegram ↔ tmux/herdr/agterm bridge for Claude Code, Codex CLI, and Pi Agent. Monit···
oxideterm
开源
用 Rust 打造 AI 终端，轻量无遥测，本地远程都能用。
AI-native workspace for local shells and remote machines.Zero Webview, zero OpenSSL,···
Arcade-Learning-Environment
开源
用 Atari 2600 游戏快速搭建和评测强化学习智能体
A simple framework that allows researchers and hobbyists to develop AI agents for At···
markstream-vue
开源
让 AI 流式输出 Markdown 在多框架下流畅渲染，低延迟不卡顿
Multi-framework streaming Markdown renderers for AI apps: Vue/Nuxt, React/Next.js, O···
ComfyScript
开源
用 Python 代码操控 ComfyUI，告别繁琐节点拖拽
A Python frontend and library for ComfyUI
fastclaw
开源
几行 Python 搭出能调工具、会定时、可流式输出的 AI Agent
A python-based light but strong lobster. A lightweight but powerful AI Agent framewo···
PocketFlow
开源
百行代码搭出 AI 骨架，小白也能看懂
Pocket Flow: 100-line LLM framework. Let Agents build Agents!
voice-ui-kit
开源
用 React 组件和 hooks 快速搭出语音 AI 应用界面
Components, hooks and template apps for building React voice AI applications quickly···