domains, , predicates, clauses goal.
: , , , , , .
. . , , . .
8: .
domains
list=integer*
predicates
member (integer, list)
clauses
member (Head, [Head | _ ]).
member (Head, [_ | Tail ]):- member (Head, Tail).
goal
member (3, [1, 4, 3, 2]).
, member. . , , . , , , . , , , , . , , .
, , , , . find . , :
member (Head, [Head |_ ]):-!.
, .