如何从 C++ 文件 运行 一个答案集编程文件?

How do I run an Answer Set Programming file from a C++ File?

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

我正在做一个项目,我需要使用 C++ 文件控制一个模拟 turtlebot,并使用 ASP 代码构建机器人可以用来实现指定目标的行动计划。

我正在使用 Ubuntu 14.04、SPARC(ASP 求解器)、ROS indigo 和 gazebo。

SPARC 是在 Java (this link) 中实现的,我说得对吗?

如果是这种情况,有很多选择:

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

简历:

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