Установка Clingo на Mac

Question

Я пытаюсь установить Clingo на моем Mac (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: No such file or directory

Так что кажется, что он не может прочитать файл clingo

Вы знаете, как я мог решить это? большое спасибо

Answer 1

Важная линия 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