Хорошо, у меня есть эта проблема, когда я установил две разные версии swi-prolog.
Я вручную установил swi-prolog (swipl) версию 5.10.4 из tar-файла, который я вижу сейчас это глупо. (Я не могу вспомнить, почему я это сделал точно, но это не относится к этому вопросу.)
Затем я хотел получить самую новую версию пролога, поэтому я выполнил следующие шаги:
Теперь, если я делаю
swipl --version
, я получаю
SWI-Prolog version 5.10.4 for x86_64-linux
И если я делаю
/usr/bin/swipl --version
, я получаю
SWI-Prolog version 6.4.1 for amd64
Я хочу только версию 6.4.1 на моем компьютере.
Я обыскал интернет в течение нескольких часов, но я не мог узнать, как решить проблему. (Возможно, я искал неправильные термины / теги, я не знаю ..)
Итак, я узнал, что версию 5.10.4 можно найти в / usr / local / bin /, тогда как версия 6.4.1 находится в / usr / bin /. Не могу ли я просто запустить версию 5.10.4 из / usr / local / bin / then? Или это не чисто, например. он оставляет устаревшие файлы где-то на диске?
Я просто удалил файл swipl в / usr / local / bin / swipl с помощью команды rm. Теперь я получаю версию 6.4.1 всякий раз, когда я называю swipl, но мне все еще интересно, является ли это хорошим решением.
Выход type swipl - swipl is /usr/local/bin/swipl, а выход dpkg -S $(type swipl | awk '{print $3}') - [ f9]
Я разобрал .tar-файл, и я запустил make из исходной папки (src), которая была в .tar-файле. Затем установите программу с помощью sudo make install.