Perbezaan antara semakan "Prolog"

51 bait ditambah ,  12 tahun lalu
tiada ringkasan suntingan
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'':
Pengguna awanama