Загрузка файлов в Prolog

Я просматриваю учебник по Prolog. Он сообщает мне, что я могу загрузить другие файлы пролога, набрав:

[filename].

но каждый раз, когда я пытаюсь это сделать, получаю

ERROR: load_files/2: Arguments are not sufficiently instantiated.

Файл находится в том же каталоге, что и тот, в котором я работаю.

Вот копия весь запрос и ошибка:

12 ?- [KB5].

ERROR: load_files/2: Arguments are not sufficiently instantiated

Что я делаю не так?

18
задан Michael Currie 10 September 2015 в 22:38
поделиться