"aarsusega" - 1 õppematerjal

Loogilise programmeerimise 1.kontrolltöö konspekt

• aatomid • listid o Listid -- esitavad loendeid Predikaadid (faktid) o kasutaja poolt defineeritavad predikaadid o sisemised e. sisseehitatud predikaadid Predikaadi tähistus: teekond/1 teekond – predikaadi funktor 1 – predikaadi aarsus. Horni lause (clause) Lause esineb fakti või reegli kujul. Iga lause algab predikaadi nimega ja lõpeb punktiga. Mitu sama funtori ja aarsusega lauset defineerivad Horni lause alternatiivid. Loogikatehted , - konjunktsioon ; - disjunktsioon not - eitus (eitus kehtib ainult Prologi andmebaasi kontekstis so ”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)