Prolog on loogika programmeerimiseks mõeldud deklaratiivne programmeerimiskeel, mis põhineb predikaatloogikal.

1. _(all kriips) väärtus, millest midagi ei sõltu.
2. .(punkt) lõpetab lause.
3. ' (apostroof)'ide vahel on Tekst.
4. ,(koma) on "loogiline ja".
5. ;(semikoolon) on "loogiline või".
6. !(hüüumärk) on negatiivne tupik.
7. Lause ehk propositsioon (en: proposition) esitab fakti.
8. Fakt võib olla kas tõene(en: true) või väär(en: false).
9. Subjekt on objekt, Horni lause päis (tähis:p).
10. Predikaat on subjekti omadus, Horni lause keha (tähis:q).
11. Muutujad algavad suure tähega.
12. Failis on deklareeritud staatilised faktid ja reeglid.
13. Programmi käigus lisatud faktid ja reeglid on dünaamilised.
14. Dünaamilisi fakte ja reegleid saab kustutada ka programmi käigus.
15. Kustutades programmi käigus reegli, võivad muutuda kõigi päringute tulemused, mis sellest sõltusid.

Prolog'i programmid kirjeldavad relatsioone, mis on kirjeldatud eelduslausete põhjal. Prolog'is on 3 tüüpi lauseid.

Horni lausete tüübid:

• faktid
• reeglid
• päringud.

Horni lause, millel puudub keha ja omab vaid tõeväärtust – tõene. Kirjeldavad sidet üldisemat subjektilt vähem üldisemale. Ehk, kui on tõsi üldisem on tõsi ka vähem üldisem.

Näiteks:

sajab-> külm and märg.

Sama mis:

sajab:- külm & märg.

Ehk "Kui on külm ja on märg, siis sajab."

Näiteks:

ema('Marju', 'Margus').

Ehk "Marju on Marguse ema"

Horni lause, mis omab keha ja päist. Kirjeldavad sidet subjekti ja predikaadi vahel. Ehk kui päises esitatud tingimused on tõesed, on tõene ka keha.

Näiteks:

ema('Marju').

Sama mis:

ema('Marju') :- true.

Ehk "Marju on ema"

Horni lause, millel on ainult keha. Ehk küsimus(ed), millele otsitakse järeldust. (Loogikas on järeldus=tõestus)

Näiteks:

?- ema('Marju').  
Yes

Ehk "Kas Marju on ema?"

?- ema(X).  
X = Marju

Ehk "Kes on ema(d)?"

    p         not p
1)  false      true
2)   true     false
*)
*)

    p         q         p and q
1)  false     false     false
2)  false      true     false
3)   true     false     false
4)   true      true      true

    p         q         p or q
1)  false     false     false
2)  false      true      true
3)   true     false      true
4)   true      true      true

   p         q         p -> q   
1) false     false      true
2) false      true      true
3)  true     false     false
4)  true      true      true

NB: Kui mõnes teises programmeerimiskeeles saab eitava argumendi eitamisest argumendi enda, siis ei ole nii loogikas ! Ehk nt:

(kõik) inimesed = (kõik) mitte mitte inimesed = väär

Sõnaliselt öeldud: kõik inimesed on sama, mis ei ole see, kes ei ole nagu ükski inimene – Ei ole tõsi

Marju on Margus'e ema:

?- ema('Marju', 'Margus').

Marju on kellegi ema:

?- ema('Marju', X).

Marju on Margus'e ema ja Maie tütar:

?- ema('Marju', 'Margus'), ema('Maie', 'Marju').

• Programmeerimiskeel
• Loogika
• Loogika mõisteid
• C++
• Java