ラムダ
演算子(^)/ 2は、いくつかの目的を果たします。setof/ 3、bagof / 3ここでは、用語の存在変数(set)を示すために使用されます。 setof(Ch、P ^ child_of(C