Prolog全解谓词

示例

断定所有解决方案的原因都是合乎逻辑的。例如:

  • setof/3

  • findall/3

  • bagof/3