Prolog打印所有解决方案并希望获得是/否输出

yes和之间没有区别true.这只是Prolog实现之间的区别.例如,我们进入trueSWI-Prolog和yesGNU Prolog.

我不确定你是如何提出你的问题的.这是运行代码的输出:

?- poklapanje(X,[1,2,3]).
X = [] ;
X = [1] ;
X = [1, 2] ;
false.

它失踪了[1, 2, 3]因为poklapanje([],[_|_]).失败了poklapanje([],[]).

我会像这样实现它:

poklapanje([], _).
poklapanje([A|B],[A|D]) :- poklapanje(B,D).