Интерпретатор пролога SWI Prolog есть в репозитарии Debian.

Вызывается командой swipl:

# swipl

Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.58)

Copyright (c) 1990-2008 University of Amsterdam.

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,

and you are welcome to redistribute it under certain conditions.

Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?-

Выйти из интерпретатора можно, нажав Ctrl+Q (или Ctrl+C?), затем напечатав точку и нажав Enter. Появится запрос вида:

Action (h for help) ?

если нажать "e", то произойдет выход.

Загрузка программы происходит так. Допустим, в текущем каталоге лежит файл с программой, называется prog.pl. Надо запустить интерпретатор командой swipl, затем написать:

[prog].

Обязательно с точкой на конце! В результате будет загружена эта программа. При нормальной загрузке, в консоли появится надпись вида:

% prog compiled 0.00 sec, 656 bytes

true.