标签: list prolog definition
我正在阅读以下book,其中提到了list的以下定义(示例):
?- .(a,[]) == [a].
返回
yes
我用SWI-Prolog尝试过,它返回错误。 SWI-Prolog中此表达式的类似物是什么?为什么会引发错误?