Loogilise programmeerimise 1.kontrolltöö konspekt
- 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:
o findall(+Template, +Goal, -Bag) o bagof(+Template, +Goal, -Bag)
Operaatorid
o Aitavad parandada lähtekoodi loetavust
annaabi.ee 
