:

clause(X, Y)

clause(X, Y)

clause(X, Y) , X Y . X , . , . , , . , .

, clause , , . , , true. . X Y, , , , . , :

([], X, X).

([|]),,[|D]:- (,,D).

?- clause((,,),Y).

=[], =_23, =_23, Y = true;

= [_23|_24], =_25, = [_23|_26], Y = (_24,_25,_26);

clause , , (. . 7.13).


: 0.235. /Cache: 3 / 1