P0 :- P1, P2, .. , Pn. (Piは述語)
?- P1, P2, .. , Pn. P0.
append([], _X, _X). append([_A | _X], _Y, [_A | _Z]) :- append(_X, _Y, _Z).
[Next]PoPの使用方法 [Previous]PoP [Top]