prolog - 可能な述語値のリストを取得する方法

Question

p/1たとえば、次のように述語を定義します。

p(2).
p(3).
p(5).
p(7).

バックトラック順序で(上記の場合 - )p_list/1のすべての可能な値のリストに当てはまる述語を定義するにはどうすればよいですか?p/1[2, 3, 5, 7]

値の単純な列挙は、保守がより困難になるため、受け入れられません。さらに、値は暗黙的に定義できます。

Answer 1

bagof(X, p(X), L)L = [2,3,5,7] を与えるものを使用できます。「暗黙的に定義された」とはどういう意味ですか? 例を挙げていただけますか。

Answer 2

maplist /2 はチェックに適していますが、findall /3 は Prolog の基本的なリスト コンストラクターです。

試す

?- findall(X, p(X), L), maplist(p, L).