variables - Prolog 中的变量绑定(bind)

Question

我编写了一个谓词common_participant(Person, PairEvent)。它从我的知识库中返回成对的事实。我想知道是否有任何方法可以执行变量绑定(bind)并收集所有结果，而无需每次都使用分号。

谢谢

我。

Answer 1

是的，您可以使用findall/3。但根据您真正想做的事情，通常有更好的方法。你想输出东西吗？然后试试这个:

print_participants :-
    common_participant(Person, PairEvent),
    write(Person), write(' participates in '), write(PairEvent), write('.'), nl,
    fail.
print_participants :-
    true.

这样，您就不需要同时将所有组合保留在一个大列表中，而只需保留打印所需的组合。

编辑:按照Kaarel的建议修复了代码。