Вам необходимо убедиться, что текущий рабочий каталог SWI-Prolog является тем, который вы ожидаете, или вам нужно указать имя файла, включая путь.
Для запроса текущего каталога:
?- working_directory(Current, Current).
Current = '/home/isabelle/'.
Вы можете передать имя нового каталога в качестве второго аргумента:
?- working_directory(Old, '/home/isabelle/Desktop').
Old = '/home/isabelle/'.
После вышеизложенного, проверка текущего текущего каталога:
?- working_directory(Current, Current).
Current = '/home/isabelle/Desktop/'.
Если у меня есть файл /home/isabelle/Desktop/test.pl
, теперь я могу обращаться к нему как ?- [test].
или ?- consult(test).
или ?- consult([test]).
В качестве альтернативы, без изменения каталогов, я могу использовать абсолютное имя файла:
?- consult('/home/isabelle/Desktop/test.pl').
true.