"prolog" - 0 õppematerjali
prolog - i põhi-idee on nõuda otsitava lahenduse kirjeldamist esimest järku predikaatarvutuse keeles, kusjuures Prolog-i süsteem sisaldab teatud tüüpi automaatset teoreemitõestajat, mis on võimeline lahendust automaatselt otsima ja tuletama.
Nagu näha, siis vastuse leidmine on päris raske, aga lendamine on hoopis imelihtne - tuleb vaid maa poole viskuda ja mööda kukkuda.
annaabi.ee 
