Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjaleLOE EDASI
0
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.
Prolog - ile lisaks on välja töötatud mitmeid uuemaid loogilise programmeerimise keeli ja süsteeme, ning nende arendamine on ulatuslik ja levinud uurimisteema.
Tulemused kuvatakse siia. Otsimiseks kirjuta üles lahtrisse(vähemalt 3 tähte pikk). Leksikon põhineb AnnaAbi õppematerjalidel(Beta).
Andmebaas (kokku 683 873 mõistet) põhineb annaabi õppematerjalidel, seetõttu võib esineda vigu! Aita AnnaAbit ja teata vigastest terminitest - iga kord võid teenida kuni 10 punkti.