Loogilise programmeerimise 1.kontrolltöö konspekt
Horni lause (clause)
Lause esineb fakti või reegli kujul.
Iga lause algab predikaadi nimega ja lõpeb punktiga.
Mitu sama funtori ja aarsusega lauset defineerivad Horni lause alternatiivid.
Loogikatehted
, - konjunktsioon
; - disjunktsioon
not - eitus (eitus kehtib ainult Prologi andmebaasi kontekstis so
”suletud maailma” eeldus)
b:- a või s:- a -> b (reegli kehas) – implikatsioon s:- not(a);b.
; (käsurealt) nõuab otsingumootorilt järgmist lahendit
Reeglid
Reegel ehk tingimuslik Horni lause.
Päringud (queries)
- Päring defineerib programmi jaoks sihi (goal).
- Päring: call(Goal) on semantiliselt samaväärne päringuga ?– Goal
- Päringu muutujad väärtustatakse päringu täitmisel, kui leidub sobiv unifitseering
- ”;” kasutamine päringus sunnib tagasivõtul otsima uut lahendit.
Sisseehitatud predikaadid Loogikavälised predikaadid:
annaabi.ee 
