Loogilise programmeerimise 1.kontrolltöö konspekt
l David Warren;
l 1980 – 2015 – laiendamine teiste programmeerimis- paradigmadega
l paralleelsus, OO, andmetüübid jm
l palju Prologi dialekte
1.3 LP meetod
l Piiritleda valdkond:
l reaalse maailma modelleeritav situatsioon (domain, use-cases)
l määratleda sellega seotud põhimõisted
l defineerida mõisteid iseloomustavad attribuudid ja nende omadused
l defineerida seosed attribuutide vahel
l Formaliseerida valdkonna objektid ja seosed LP keeles
l tekib faktide/tuletusreeglite struktuur
l Saadud teadmiste struktuuridel formuleerida päringud
LP “õrnad” kohad
l Teadmiste esitamine on otsingureeglite tundlik
• l päringu tulemus oleneb otsingureeglist ja faktide järjestusest teadmusbaasis
• l tagasivõtu (backtracking) mehhanismist arusaamine nõuab otsingumootori
tundmist
annaabi.ee 
