Loogilise programmeerimise 1.kontrolltöö konspekt
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)
§ kuju (prefiks, infiks, postfiks)
Kui operaatori # tüüp on yfx, siis täidetakse # korduvesinemisi vasakult
paremale
Kui operaatori # tüüp on xfy, siis täidetakse # korduvesinemisi paremalt
vasakule
Operaatori deklaratsioon:
:- op(Priority, Type, Name).
Võrdus: arg1 = arg2 või =(arg1, arg2)
Võrdus kehtib, kui võrdusega seotud muutujat omavahel unifitseeruvad (väärtused
on võrdsed või kui üks muutja on väärtustamata, siis omandab ta teise väärtuse.
• Rekursioon
annaabi.ee 
