prolog - 如何在 SWI-Prolog 中使用列表构造函数 (./2)

Question

我尝试在 SWI-Prolog 中使用列表构造函数，但收到“dict”预期错误。

例如，

.(a, []) == [a].

ERROR: Type error: `dict' expected, found `a' (an atom)
ERROR: In:
ERROR:   [11] throw(error(type_error(dict,a),_14808))
ERROR:   [10] '$type_error'(dict,a) at /Applications/SWI-Prolog.app/Contents/swipl/boot/init.pl:3369
ERROR:    [9] '$dicts':'.'(a,[],_14874) at /Applications/SWI-Prolog.app/Contents/swipl/boot/dicts.pl:46
ERROR:    [8] '<meta-call>'(user:(...,...)) <foreign>
ERROR:    [7] <user>
Exception: (9) '.'(a, [], _14200) ? 

有人可以帮我配置此功能吗？

Answer 1

SWI-Prolog 7.x 使用不同的列表构造函数 '[|]'/2，而不是传统的 ./2 Prolog 构造函数:

?- '[|]'(1,[]) == [1].
true.

此更改的动机是将 ./2 释放用于其他用途，特别是在 dict 术语中，正如您收到的查询错误消息中所暗示的那样。