如何从 C++ 文件运行答案集编程文件？

Posted 2023-02-16

【中文标题】如何从 C++ 文件运行答案集编程文件？

【英文标题】：How do I run an Answer Set Programming file from a C++ File?

【发布时间】：2017-04-19 06:45:35

【问题描述】：

我可以使用哪些方法从我的 C++ 代码的主函数运行 ASP 文件？

我正在做一个项目，希望我使用 C++ 文件控制一个模拟的海龟机器人，并使用 ASP 代码构建一个机器人可以用来实现特定目标的行动计划。

我使用的是 Ubuntu 14.04、SPARC（一种 ASP 求解器）、ROS indigo 和 Gazebo。

【问题讨论】：

为什么这个问题被否决了？如果我不知道为什么，我就无法提高

【参考方案1】：

SPARC 是用 Java 实现的 (this link) 是否正确？

如果是这样的话，有很多选择：

您可以使用Java Native Interface 直接从 c++ 代码与 SPARC 工具进行交互 其他选项是创建一个separate process 来自 c++ 代码并通过 stdout/files 与之通信 您可以在 Java 中实现ROS node，它接受请求并使用 SPARC 作为库来处理它们。在这种情况下，您的 c++ 并不关心确切的 SPARC 实现

简历：

我建议您尝试最后一个选项。它比其他 2 个选项稍微困难一些，但它非常适合 ROS 基础架构。

【讨论】：

非常感谢您的回答。我选择了选项 2，使用标准输出（这是我的主管建议我使用的选项），并且效果很好。如果您有时间，我将非常感谢您对后续问题的帮助：***.com/questions/43554833/…