标签：逻辑编程

Pyke MCP Server 是一个基于Pyke逻辑编程推理引擎的服务器，支持通过知识库进行逻辑推理，包括事实管理、规则定义和查询执行等功能，适用于人工智能和逻辑编程领域。

一个基于Clingo Python API的模型上下文协议（MCP）服务器，用于执行答案集编程（ASP）逻辑，提供标准化的接口和配置选项。