【文件属性】:
文件名称:EmbASP:在复杂系统中嵌入逻辑编程的通用框架
文件大小:8KB
文件格式:ZIP
更新时间:2021-05-31 10:38:16
EmbASP
EmbASP是一个将逻辑编程集成到通用应用程序的外部系统中的框架,旨在帮助开发人员通过不同平台上的基于逻辑的求解器设计和实现复杂的推理任务。
我们目前以三种不同的编程语言提供EmbASP 的实现: 、 和 )。 EmbASP还包含用于嵌入多个基于逻辑的求解器的现成库:
ASP(答案集编程)
PDDL(规划域定义语言)
数据记录
请注意,DLV、DLV2 和 Solver.Planning.Domains 也可以在 Android 上使用。
该框架被设计为易于扩展和适应不同的求解器和平台。 求解器可以通过不同方式调用:如 Solver.Planning.Domains 一样通过 REST API、大多数“桌面求解器”的本机二进制执行、Android 求解器中的库调用,或任何其他可以使用面向对象范例。
快速指南
用户指南
可以从 GitHub 上的下载。 JAR 文
【文件预览】:
EmbASP-master
----.gitignore(12KB)
----EmbASP-CSharp()
----LICENSE(1KB)
----EmbASP-antlr-grammars()
----.gitmodules(446B)
----.github()
--------dependabot.yml(149B)
----README.md(4KB)
----EmbASP-Python()
----EmbASP-Java()