Я пытаюсь установить 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
Я также скачал homebrew и Xcode.
У меня есть файл .lp (pippo.pl), который я хотел бызапустить.Что я должен сделать, чтобы запустить этот файл?
Я пытался несколькими способами из терминала, но ничего не происходит.
Я создал псевдоним clingo = "documents / clingop / clingo" и затем из каталога файла pippo.pl, который я написал
clingo pippo, но Терминал говорит: -bash: documents/clingop/clingo: No such file or directory
Так что кажется, что он почему-то не может прочитать файл clingo
Знаете, как я мог решить эту проблему?большое спасибо