findall / 3メタ述語の使用方法と内部

Question

これを書きたい： ジェネラコディセタグプレ

たった1行で。 つまり、基本的には次のようなものです。 ジェネラコディセタグプレ

目標ステートメントで「AND」を表現する方法がわかりません。 これは可能ですか？

Answer 1

かっこで囲むだけです： ジェネラコディセタグプレ

追加： 目標は、サブ目標の単なる論理積（および論理和）です。ある時点でそれらを作成し、呼び出されるまでそれらを渡すことができます。これは、目標を動的に構築する必要がある場合に役立ちます。 ジェネラコディセタグプレ