Я просматриваю учебник по Prolog. Он сообщает мне, что я могу загрузить другие файлы пролога, набрав:
[filename].
но каждый раз, когда я пытаюсь это сделать, получаю
ERROR: load_files/2: Arguments are not sufficiently instantiated.
Файл находится в том же каталоге, что и тот, в котором я работаю.
Вот копия весь запрос и ошибка:
12 ?- [KB5].
ERROR: load_files/2: Arguments are not sufficiently instantiated
Что я делаю не так?