Vo vyuke predmetov z oblasti umelej inteligencie sa autorovi velmi osvedcil programovaci jazyk Prolog v ulohe vykladoveho jazyka. Jeho vyhodou je deklarativnost, t.j. potreba formulovat iba ciele, ktore sa maju splnit, bez nutnosti programovat sposob ako tieto ciele dosiahnut. Prostrednictvom Prolog-u sa prostriedky logiky dostavaju priamo do ruk programatora, pricom tieto prostriedky nie su iba nastrojom, ale aj ucinnou metodou. Vysoka forma abstrakcie sa tu spaja s formalizmom orientovanym na ludsky sposob uvazovania a chapania. Tieto skutocnosti spolu s publicitou, ktoru Prolog ziskal v roku 1981, ked ho Japonci vybrali za nosny jazyk pocitacov 5.generacie vzbudzuju nadej, ze sa deklarativne jazyky na baze logickeho programovania stanu v buducnosti vyhladavanym programovacim prostriedkom.
Kniha je koncipovana tak, aby nielen strucne opisala a na prikladoch ilustrovala vsetky zakladne metody, pouzivane v oblasti umelej inteligencie, ale aby bola pouzitelna aj ako samostatna ucebnica Prolog-u. Prilohy obsahuju informacie potrebne pri praktickom pouzivani jazyka (aj so specifikami implementacie Arity/Prolog-u a LPA Prolog-u). Do textu, vytvoreneho vo WordPerfect-e, boli prenesene priamo zdrojove texty fungujucich programov.
Predkladany text nadobudal konecnu podobu zvacsa v pozdnych nocnych hodinach, ked sa clovek pred obrazovkou pocitaca zamysla nielen nad umelou inteligenciou, ale aj nad tou prirodzenou a nad ich vplyvom na beh sveta. Ziada sa preto vyslovit zelanie, aby sme my ludia nedopustili naplnenie vizie basnika J.Preverta Az vsetci vsetkych povrazdia, pocitace budu vypravat o ludoch, ako ludia vypravali o bohoch.
Na tejto adrese sa mozu informovat aj zaujemcovia o zdrojove texty rozsiahlejsich programov uvedenych v knihe.