Peter Flach: Logikai programozás. Az intelligens következtetés példákon keresztül

"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 Prologprogramok 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 bevezető részekhez hasonlóan ezek a fejezetek is azt mutatják, 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 könyvben korábban bevezetett metalogikai programozás módszerén alapulnak. A metalogikai programozás a logikai programozás egyik leghatékonyabb és jellegzetes technikája. A logikai programozás területe szerencsés, hiszen sok kiváló könyv tárgyalja (ha nem is magyar nyelven), lényegében minden aspektusát lefedve, beleértve az elméletet, az alkalmazásokat és a programozást. Peter Flach könyve hézagpótló abban a tekintetben, hogy tartalmazza az abdukció és az induktív logikai programozás új eredményeit és hogy a logikai programozás elméletét és a Prolog-programozás gyakorlatát helyes és meggyőző módon kapcsolja össze."