Аргументы недостаточно проработаны, невозможно загрузить программу - PullRequest
Новая
       30

Аргументы недостаточно проработаны, невозможно загрузить программу

0 голосов
/ 08 ноября 2019

При попытке загрузить мой файл Tutorial_2, который использует DCG для подсчета количества нулей в предложении или 1 и 0, заканчивающихся на 2.

Когда я пытаюсь загрузить процесс, я получаю аргументы:недостаточно создан для файла инициализации SWI пролога: 

[debug]  ?- [Tutorial_2].
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:   [15] throw(error(instantiation_error,_12554))
ERROR:   [14] '$instantiation_error'(_12578) at c:/program files/swipl/boot/init.pl:3608
ERROR:   [13] '$load_files'(_12602,user,[expand(true)]) at c:/program files/swipl/boot/init.pl:1946
ERROR:   [12] load_files(user:_12648,[expand(true)]) at c:/program files/swipl/boot/init.pl:1941
ERROR:   [11] consult(user:_12688) at c:/program files/swipl/boot/init.pl:1930
ERROR:   [10] [user:_12720] at c:/program files/swipl/boot/init.pl:1918
ERROR:    [9] <user>

Файл существует и не редактировался с тех пор, как я установил пролог 3 месяца назад.

1 Ответ

2 голосов
/ 08 ноября 2019

Tutorial_2 - это переменная (отсюда ошибка инстанцирования), но ярлык высшего уровня Prolog для обращения к файлу требует определенного термина. Поскольку Tutorial_2 начинается с заглавной буквы, чтобы сделать ее атомом, запишите ее в одинарные кавычки: 

?- ['Tutorial_2'].
...