Loogilise programmeerimise 1.kontrolltöö konspekt
l Programmi põhifunktsioonid:
l reaalse maailma probleemide abstraktne esitamine,
l abstraktsioonide teisendamine ja sidumine omavahel
l abstraktsioonide põhjal arvutamine/otsuste tegemine
l Programeerimiskeel peab võimaldama
l kirjeldada ja analüüsida abstraktsioone arvutile sobival kujul
l Deklaratiivsed programmerimiskeeled sobivad
l abstraktsete objektide ja nende seoste kirjeldamiseks
l väldivad protseduurseid detaile
1.1. Mis on loogiline programmeerimine? (4)
l Universaalne keel omaduste/seoste abstraktseks kirjeldamiseks on loogika
l à LP on programmeerimine loogika keeles!
l Prolog – programming in logic
l LP ≠ Prolog
1.2 LP ajalugu
l Prolog (1972)
l Alain Colmerauer, Phillipe Roussel;
l Edinburgh Prolog (1980 algus)
l David Warren;
l 1980 – 2015 – laiendamine teiste programmeerimis- paradigmadega
annaabi.ee 
