我正在尝试在Mac（macOS Mojave-10.14.3）上安装Clingo。
我已经下载了最新版本的Clingo（5.3.0）并解压缩了它。如果我使用终端打开Clingo文件，它会显示：
dev我还下载了自制软件和Xcode。
我有要运行的.lp文件（pippo.pl）。我应该怎么做才能运行此文件？
我从终端进行了多种尝试，但没有任何反应。
我创建了别名clingo =“ documents / clingop / clingo”，然后从我编写的pippo.pl文件的目录中
---
layout: default
---
{% if jekyll.environment == "dev" %}
{% assign dev = "this is dev" %}
{% endif %}
<div id="page-content">
{{dev}}
...
</div>
，但终端机显示：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
因此它表明它无法读取文件clingo
您知道我该如何解决吗？非常感谢
答案 0 :(得分：0)
重要的一行是Reading from stdin。
您可以调用clingo，使其按以下方式处理文件：
/Users/esther/Documents/clingop/clingo pippo.pl
或者如果您的外壳是bash（或类似版本）：
cat pippo.pl |/Users/esther/Documents/clingop/clingo
或
/Users/esther/Documents/clingop/clingo <pippo.lp