answer-set-programming - 如何从 cligo 开始？

Question

我已经安装了clgo。但我不知道如何运行它。文件中有一些示例。我试图运行它。但它失败了。

我在 Windows 和 Ubuntu 中都安装了它。我已将其添加到路径中。

C:\Windows\system32>cligo color.lp\graph.lp cligo 版本 5.3.0 从颜色\图形读取：错误：无法打开文件：
color.lp\graph

C:\Windows\system32> cligo context-py.lp encoding.lp --of=3 0 * 错误: (clingo): 'encoding': 无法打开输入文件！*信息 : (cligo): 尝试使用“--help”获取使用信息

C:\Windows\system32> cligo context-lua.lp encoding.lp --of=3 0 * 错误: (cligo): 无法打开输入文件！*信息 : (cligo): 尝试使用“--help”获取使用信息

Answer 1

我相信你的问题只是你试图从错误的目录运行文件。我假设您的示例文件不在您的 Windows 系统 32 目录中。您需要导航到 .lp 文件所在的正确目录，然后才能运行 Clingo。