Loogilise programmeerimise 1.kontrolltöö konspekt
- 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, ?Atom)
o string_to_list(?String, ?List)
o string_length(+String, -Length)
o string_concat(?String1, ?String2, ?String3)
o sub_string(+String, ?Start, ?Length, ?After, ?Sub)
Predikaadid mitme lahendi leidmiseks:
annaabi.ee 
