Случайно установлены две версии swi-пролога, нужна помощь, чтобы это исправить

Хорошо, у меня есть эта проблема, когда я установил две разные версии swi-prolog.

Я вручную установил swi-prolog (swipl) версии 5.10.4 из tar-файла, что, на мой взгляд, является глупостью. (Я не могу вспомнить, почему я сделал это именно так, но это не главное.)

Затем я захотел получить новейшую версию пролога, поэтому я выполнил следующие действия:

sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog

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 /? Или это не чисто, например где-то на диске остаются устаревшие файлы?

Я просто удалил файл swipl в / usr / local / bin / swipl с rm ] -command. Теперь я получаю версию 6.4.1 всякий раз, когда я вызываю swipl, но я все еще задаюсь вопросом, является ли это хорошим решением.

Вывод type swipl равен swipl is /usr/local/bin/swipl, а вывод dpkg -S $(type swipl | awk '{print $3}') - dpkg-query: no path found matching pattern /usr/local/bin/swipl.

Я разархивировал .tar-файл и запустил make из источника (папки src), который был в .tar-файле. Затем установил программу, используя sudo make install.