Пролог - конкретно SWI - где находится pl?

Question

Я пытаюсь настроить среду с помощью interprolog и SWI prolog, для interprolog требуется местоположение «pl» swi, но я не могу его найти Все, что я могу найти, это swipl или plrc, и ни один из них не работает с interprolog. Если я ввожу pl в терминал (это должно выполнить swi-prolog), оно говорит:

bash: pl :command not found

но если я введу

swipl

или

Пролог

отлично работает swiprolog.

дело в том, что interprolog требует pl, который я не могу найти.

У кого-нибудь есть идеи, как мне это обойти?

спасибо

Answer 1

which swipl

скажет вам, где живет бинарный файл swipl.

Однако вам нужен способ, чтобы значение "pl" означало то же самое, что и "swipl"

Чтобы сделать это, вам нужно указать псевдоним pl для swipl.

Код alias pl='swipl' сделает это в BASH.

так что после псевдонима вы можете запустить interprolog из командной строки и посмотреть, работает ли он.

Answer 2

Я не уверен, что у вас все получилось. В идеале это то, что вы должны сделать:

• Открыть runSWISPListener.sh.
• Изменить ${SWI_BIN_DIRECTORY}/pl на ${SWI_BIN_DIRECTORY}/swipl

Тогда все будет работать нормально.

Answer 3

Понял ли я ваш вопрос, является ли pl символической ссылкой на программное обеспечение пролога? Проверьте расположение исполняемого файла pl по where pl или возможно, вам нужно сделать исходный код пролога .pl исполняемым и добавить заголовок вверху ...

#! /bin/swiprolog -f

; Prolog code here...

И используйте chmod u+x some_file.pl. Затем, когда bash выполняется, он проверяет, чтобы увидеть верхний бит файла '#! / bin / swiprolog -f ', я использую ключ' -f ', чтобы передать его в интерпретатор пролога ... проверьте документацию ...

Надеюсь, это поможет, С наилучшими пожеланиями, Том.