Случайно установлены две версии 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. Теперь я получаю версию 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,