Perbezaan antara semakan "Prolog"

345 bait ditambah ,  11 tahun lalu
tiada ringkasan suntingan
segak(johan).
gagah(johan).
?- sukahati(johan)?.
 
Perhatikan bahawa menggunakan set hukum-hukum dan penerapan-penerapan yang ada (yang dikatakan '''pangkalan pengetahuan'''), sasaran lain boleh dikenakan dengan langsung.
 
''Contoh'':
?- sukahati(X).
 
Hukum-hukum dalam Prolog terhad kepada klausa-[[klausa Horn]], yang mempunyai satu dan hanya satu kepala. Ini membolehkan hukum-hukum ini ditafsirkan juga sebagai fungsi atau tatacara. Dengan ini kedudukan sesuatu kenyataan dalam aturcara (aturan kenyataan ditangani) menjadi penting.
 
''Contoh:'':
faktorial(0,1).
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.
 
''Contoh'':
merah(a).
hitam(b).
warna(X,merah) :- merah(X),!.
warna(X,hitam) :- hitam(X),!.
warna(X,tak_diketahui).
?- warna(a,C).
Pengguna awanama