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. A könyv későbbi részei a logikai programozás számos újszerű kiterjesztését tartalmazzák. A könyv bevezető részeihez hasonlóan ez a rész is azt mutatja, hogy e kiterjesztéséket hogyan kell hatékonyan implementálni Prologban. A kiterjesztésekhez tartozik az abdukció (magyarázatok generálása), az alapeseti következtetés és az induktív logikai programozás. A Prolog-implementációk a