macos - 在 Mac 上安装 Clingo

Question

我正在尝试在我的 Mac (macOS Mojave -- 10.14.3) 上安装 Clingo。

我已经下载了最新版本的 Clingo (5.3.0) 并将其解压缩。如果我用终端打开 Clingo 文件，它会显示：

Last login: Fri Mar  1 09:31:31 on ttys000
Mattias-MacBook-Pro:~ esther$ 
/Users/esther/Documents/clingop/clingo ; exit;
clingo version 5.3.0
Reading from stdin

我还下载了自制软件和 Xcode。

我有想要运行的 .lp 文件 (pippo.pl)。我应该怎么做才能运行这个文件？

我从终端尝试了多种方式，但没有任何反应。

我创建了一个别名 cligo="documents/clingop/cligo" 然后从我写的 pippo.pl 文件的目录中创建

clingo pippo，但终端说：-bash: documents/clingop/clingo: No such file or directory

所以它似乎以某种方式无法读取文件 cligo

你知道我怎么能解决这个问题吗？多谢

Answer 1

重要的线是Reading from stdin.

您可以调用 cligo 以便它按如下方式处理您的文件：

/Users/esther/Documents/clingop/clingo pippo.pl

或者如果您的外壳是 bash （或类似的）：

cat pippo.pl |/Users/esther/Documents/clingop/clingo

或者

/Users/esther/Documents/clingop/clingo <pippo.lp