prolog - Prolog 列表中的两颗星

Question

列表中的两颗星是什么？

[53, 5, 1, 53, 97, 115, 53, 50, 52, 121, 55, 56, 55, 97, 4, 1, 98, **]

我尝试搜索但没有成功。

Answer 1

星号表示该术语包含自身，例如

?- X = f(X).
X = f(**).

?- L = [53, L].
L = [53, **].

至少在旧版本的 SWI-Prolog 中是这种情况。另见https://lists.iai.uni-bonn.de/pipermail/swi-prolog/2009/001707.html。