Macos 在Mac上安装Clingo

我正试图在我的Mac上安装Clingo（macOS Mojave--10.14.3）

我已经下载了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）。要运行此文件，我应该做什么

我在终点站尝试了几种方法，但什么也没发生

我创建了一个别名clingo=“documents/clingop/clingo”，然后从我编写的pippo.pl文件的目录中创建

clingo-pippo

，但终端显示：

-bash:documents/clingop/clingo:没有这样的文件或目录

因此它无法读取文件clingo

---

你知道我怎么解决这个问题吗？非常感谢

重要的一行是

阅读标准文本

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

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

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

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

或

/Users/esther/Documents/clingop/clingo