Program di bawah ini adalah program prolog yang digunakan untuk menjumlahkan seluruh elemen dari list yang diinputkan.

Domains
	list = integer*

Predicates
	elemen(list,integer)
 
Clauses
	elemen([],0).
	elemen([H|T],X):-elemen(T,M), X=M+H.

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