如何开始使用clingo？

Question

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

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

  

C：\ Windows \ system32> clingo color.lp \ graph.lp clingo版本5.3.0   从color \ graph读取：错误：无法打开文件：
  color.lp \ graph

     

C：\ Windows \ system32> clingo context-py.lp encoding.lp --of = 3 0    *错误：（clingo）：'编码'：无法打开输入文件！   * 信息：（clingo）：尝试使用'--help'获得使用信息

     

C：\ Windows \ system32> clingo context-lua.lp encoding.lp --of = 3 0    *错误：（clingo）：无法打开输入文件！   * 信息：（clingo）：尝试使用'--help'获得使用信息

Answer 1

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