Loogilise programmeerimise 1.kontrolltöö konspekt
Fookus:
MIDA ARVUTADA
l LP ja FP on deklaratiivsed programmeerimisstiilid;
l LP põhineb loogika printsiipidel ja kasutab automaattõestamise protseduure
(resolutsioon, unifitseerimine);
l LP keel on Prolog, kuid LP ≠ Prolog;
1.1. Mis on loogiline programmeerimine? (2)
l LP sobib tehisintellekti rakenduste programmeerimiseks:
l loomuliku keele analüüs ( DCG grammatikareeglid)
l ekspertsüsteemid (otsingu- ja järeldusreeglid)
l kujundituvastus (tuvastusreeglid)
l kitsendustega planeerimine (logistika, marsruudi otsimine) l rekursiivsete
funktsioonide püsipunkti arvutus
l jne
l LP ei sobi:
l Kiired numbrilised arvutused (n. maatriksarvutused, võrrandid)
l OOP (kuigi on toetatud mõnes prologis)
l kasutajaliideste programmeerimine (tugi on nõrk)
l masingraafika
1.1. Mis on loogiline programmeerimine? (3) Miks tasub õppida LP?