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许可证获得许可-有关详细信息，请参阅许可证文件。