我正在学习 Prolog,但在学习数据库操作时遇到了这个问题。当我问 Prolog 解释器时:
findall(X,subset(X,[1]),P).
唯一的子集是
P = [[]].
为什么是这样?
prolog
prolog ×1