私が基本的に達成したいのは、リスト A のリストが与えられた場合、リストBの要素がリストAに正確に含まれているかどうかをチェックする述語が欲しいということです。
たとえば、次のようになります。
A = [[1,2]、[3,4]、[5]、[]] B = [1,2,3,4,5]
と
A = [[1,2]、[3,4]、[5]、[]] B = [2,5,3,4,1]
結果は true になりますが、
A = [[1,2]、[3,4]、[5]、[]] B = [1,2,3,4]
と
A = [[1,2]、[3,4]、[5]、[]] B = [1,2,3,4,5,6]
どちらも false になります。
これはプロローグで可能ですか?
正確には、順序は関係ありません。すべての要素が含まれている必要があります。また、Bリストに重複が含まれていないとします。したがって、Aに重複が含まれる場合、結果として false になるはずです。