Program di bawah ini adalah program prolog yang digunakan untuk mengetahui apakah suatu input merupakan member/anggota dari suatu list lain atau bukan.

Domains
	list = integer*
	 
Predicates
	anggota(list,integer)
 
Clauses
	anggota([H|_],H).
	anggota([_|T],X):-anggota(T,X).

Program di atas telah diuji dan berjalan menggunakan Turbo Prolog dalam DOSBox.