Semakan pada 21:02, 30 Januari 2009 (sunting) 130.87.53.224 (bincang) ← Suntingan sebelumnya		Semakan pada 21:44, 30 Januari 2009 (sunting) (batalkan) 130.87.53.224 (bincang) Suntingan berikutnya →
faktorial(X,Y) :- faktorial(X1,Y1),darab(X,Y1,Y),tolak(X,1,X1). Prolog juga mengadungi binaan bukan-logik, yang terutamanya '''potongan''', '!', yang digunakan bagi mengawal perjalanan aturcara (khususnya untuk memberhentikan gelintaran lanjut). ''Contoh'':

Perbezaan antara semakan "Prolog"

Prolog (sunting)