Loogilise programmeerimise 1.kontrolltöö konspekt
”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:
o otsingu juhtimise predikaadid (repeat,
o sisend-/väljundpredikaadid (consult, reconsult, get, put,
write, ...)
o aritmeetika predikaadid o operaatorid
Predikaadid tööks termidega:
o termiteisendused
Predikaadid tööks stringidega:
o string_to_atom(?String,
annaabi.ee 
