参数未充分实例化无法加载程序

Question

尝试加载我的文件 Tutorial_2 时，该文件使用 DCG 来计算句子中有多少个零或以 2 结尾的 1 和 0。

当我尝试加载进程时，我得到一个参数没有为序言 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 个月前安装 prolog 以来还没有编辑过。

Answer 1

Tutorial_2 是一个变量（因此出现实例化错误），但用于查询文件的 Prolog 顶级快捷方式采用基本术语。由于 Tutorial_2 以大写字母开头，要使其成为一个原子，请将其写在单引号之间：

?- ['Tutorial_2'].

参数未充分实例化无法加载程序

Arguments are not sufficiently instantiated unable to load program

prolog

dcg

instantiation-error