Program di bawah ini adalah program prolog yang digunakan untuk mencari hasil faktorial dari seluruh elemen sebuah list dengan list diinputkan.

DOMAINS
    X,Y = string
PREDICATES
    faktorial (real,real)
CLAUSES
    faktorial(1,1):-!.
    faktorial(X,FaktoX):-
    	Y=X-1,
        faktorial(Y,FaktoY),
        FaktoX = X*FaktoY.

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