Question

当试图加载我的文件Tutorial_2时，该教程正在使用DCG来计算一个句子中的零或以2结尾的1和0。

当我尝试加载过程时，对于prolog 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'].

实例化不足，无法加载程序

1 个答案: