Logikai programozás - Az intelligens következtetés példákon keresztül

Fülszöveg

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.