0

当尝试加载我的文件 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 以来就没有被编辑过。

4

1 回答 1

3

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

?- ['Tutorial_2'].
于 2019-11-08T17:06:34.147 回答