如何从Prolog中的对象中获得一些结果

Question

示例：

specialization(saw, wood).
specialization(plane, wood).

spec_Q(X):-
specialization(S,X),
//do something with S
.

但S只返回1个结果

Answer 1

也许您正在寻找findall/3。

specialization(saw, wood).
specialization(plane, wood).

spec_Q(X) :-
    findall(S, specialization(S,X), SL),
    print(SL).

你可以测试一下：

?- spec_Q(wood).
[saw,plane]
true.