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.