9635452977
9635452977
Dátum
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Ez a könyv sok témával szeretné megismertetni az olvasót: logikával, mesterséges intelligenciával és logikai programozással, amiket általában különálló témákként szokás tárgyalni. A könyvnek nem csupán a célkitűzését sikerült teljesítenie, de továbblépett és megmutatta, hogyan valósítjuk meg az elméletet működőképes Prolog-programok formájában. Mind az elméletet, mind a gyakorlatot lépésről lépésre olyan stílusban tálalja, amely pedagógiailag helyes, ennél azonban talán fontosabb, hogy példák bemutatásával arra is oktat, hogy hogyan lehet eljutni új gondolatokhoz és implementációjukhoz sorozatos finomítás útján.