ASP逻辑执行服务

CLINGO MCP服务器

用于执行的模型上下文协议（MCP）服务器 答案集编程（ASP） 逻辑使用 克林戈 Python API。

使用Clingo进行答案集编程（ASP）的模型上下文协议（MCP）服务器。该服务器提供了一个标准化的接口，用于执行ASP程序和处理上下文相关的计算。

概述

ASP MCP服务器旨在：

• 使用ClingoPython API执行ASP程序
• 为ASP程序执行提供标准化的接口
• 支持超时和型号限制配置

工具

execute_asp_code

使用Clingo执行提供的ASP逻辑程序并返回结果模型。

• 所需输入：

  • asp_code （string）：要执行的主要ASP代码。

• 可选输入：

  • additional_facts （字符串，默认值： "")：附加到基础程序的其他事实。
  • max_models （数字，默认值： 10)：要计算的最大模型数(0 为所有人）。
  • timeout （数字，默认值： 30)：模型计算超时（秒）。

• 退货：

  • 如果找到任何模型，则显示模型列表（以字符串形式）。
  • "No models found (UNSAT)" 如果程序不令人满意。
  • 如果未安装Clingo或执行失败，则显示错误消息字符串。

贡献

欢迎投稿！请随时提交拉取请求。

许可证

此项目根据MIT许可证获得许可-有关详细信息，请参阅许可证文件。