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

Question

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

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

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

Answer 1

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

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

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

简历：

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