0

这是一个非常简单的问题；）

事实（一）。

事实(b)。

测试（X）：-事实（X）。

解是 X=a；X=b。好的

我正在尝试创建： test(X,L):-fact(X), ??? 返回 L=[a,b]

有人能帮我吗？谢谢。

4

1 回答 1

2

用于聚合findall/3解决方案：

test(L):-
  findall(X, fact(X), L).
于 2013-09-03T15:01:48.897 回答