findall / 3メタ述語の使用方法と内部
-
29-10-2019 - |
質問
これを書きたい: ジェネラコディセタグプレ
たった1行で。 つまり、基本的には次のようなものです。 ジェネラコディセタグプレ
目標ステートメントで「AND」を表現する方法がわかりません。 これは可能ですか?
解決
かっこで囲むだけです: ジェネラコディセタグプレ
追加: 目標は、サブ目標の単なる論理積(および論理和)です。ある時点でそれらを作成し、呼び出されるまでそれらを渡すことができます。これは、目標を動的に構築する必要がある場合に役立ちます。 ジェネラコディセタグプレ
所属していません StackOverflow