Loogilise programmeerimise 1.kontrolltöö konspekt
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
o Kõik süsteemioperaatorid v.a. ”,” on ümberdefineeritavad
o Omavad kehtivust mooduli piires, kuid saab ka moodulitest välja eksportida
Operaatori deklareerimine
o prioriteet (1, ..., 1500) – väiksem number annab kõrgema prioriteedi.
o tüüp:
§assotsiatiivsus(näide:16/2 + 6)