在Mac上安装Clingo

Question

我正在尝试在我的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

我还下载了homebrew和Xcode。

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

我在终端上尝试了几种方法，但什么也没有发生。

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

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

所以它看起来好像不能读取clingo文件

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

Answer 1

重要的一行是Reading from stdin。

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

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

或者，如果您的shell是bash (或类似的)：

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

或

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