member(X, [X|_]). % member(X, [Head

member(X, [X|_]). % member(X, [Head|Tail]) is true if X = Head
% that is, if X is the head of the list
member(X, [_|Tail]) :- % or if X is a member of Tail,
member(X, Tail). % ie. if member(X, Tail) is true.

ผลลัพธ์ (ไทย) 1:

สมาชิก (X [X|_]) สมาชิก% (X [Head| หาง]) เป็นจริงถ้า X =หัว %ที่ ถ้า X เป็นหัวของรายการสมาชิก (X, [_| หาง]): -%หรือถ้า X เป็นสมาชิกของหาง สมาชิก (X หาง) % ie ถ้าสมาชิก (X หาง) เป็นจริง

ผลลัพธ์ (ไทย) 2:

สมาชิก (x, [x | _]) สมาชิก% (x, [หัวหน้า | Tail]) เป็นจริงถ้า X = หัวหน้า
% นั่นคือถ้า X เป็นหัวของรายการ
สมาชิก (x, [_ | Tail]): -% หรือถ้า X เป็นสมาชิกของหาง ,
สมาชิก (x, หาง) % เช่น ถ้าสมาชิก (x, หาง) เป็นจริง

ผลลัพธ์ (ไทย) 3:

สมาชิก ( X , [ X | _ ] ) % สมาชิก ( X , [ หัว | หาง ] ) เป็นจริงถ้า x = หัว
% นั่นคือ ถ้า x เป็นศีรษะของรายชื่อสมาชิก
( X , [ _ | หาง ] ) : - ) หรือถ้า x เป็นสมาชิกของหาง
สมาชิก ( x , หาง ) % เช่น ถ้าสมาชิก ( x , หาง ) เป็นจริง