Loogilise programmeerimise 1.kontrolltöö konspekt
1. Sissejuhatus:
1.1. Mis on loogiline programmeerimine?
l Programmeerimise paradigma
l loogiline (LP)
l funktsionaalne (FP) l jt
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)
annaabi.ee 
