Prolog-带点的列表定义

时间:2018-11-13 21:30:35

标签: list prolog definition

我正在阅读以下book,其中提到了list的以下定义(示例):

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

返回

yes

我用SWI-Prolog尝试过,它返回错误。 SWI-Prolog中此表达式的类似物是什么?为什么会引发错误?

0 个答案:

没有答案