%
find(Elem, [Elem|_]).
%
find(Elem, [_|Tail]):-find(Elem, Tail).
?- find(3, [1, 3, 4])
Yes
. ( ), .
find(Elem, [_|Tail]). . , ( , ). Tail , . find(Elem, Tail) . , ( ), ( ). find(3, [1, 3, 4]) :
?- find(3, [1, 3, 4])
,
Elem=3, Tail=[3, 4]
?- find(3, [3, 4])
Elem=3
Yes
, . , : . . , , , . . . . , , . .. , .
,
?- find(X, [1, 3, 4])
X:
X = 1
X = 3
X = 4