Prolog Programming for Artificial Intelligence

Prin parcurgerea acestui volum, cititorul va reuși să implementeze sisteme complexe de inteligență artificială, de la algoritmi de căutare euristică la sisteme expert și rețele Bayesiene, folosind Prolog ca instrument principal de dezvoltare. Observăm că Ivan Bratko transformă paradigma programării logice dintr-un concept abstract într-o metodă aplicată, punând accent pe arta de a utiliza mecanismele de bază pentru rezolvarea unor probleme reale de inginerie software. Ca și Max Bramer în Logic Programming with Prolog, autorul distilează experiența reală în principii acționabile, însă Ivan Bratko extinde orizontul către zone avansate precum programarea logică prin constrângeri (CLP) și planificarea de ordin parțial. Structura cărții este riguros segmentată în două secțiuni distincte. Prima parte funcționează ca un tutorial tehnic asupra sintaxei și semanticii limbajului Prolog, abordând controlul backtracking-ului și operațiile pe structuri de date complexe, precum arborii echilibrați. Cea de-a doua parte reprezintă nucleul aplicativ, unde progresia este evidentă: se pornește de la descompunerea problemelor în grafuri AND/OR și se avansează spre tehnici de Machine Learning și procesarea limbajului natural. Suntem de părere că includerea capitolului de meta-programare oferă un avantaj competitiv programatorilor, permițându-le să scrie cod care manipulează alte programe, o tehnică esențială în dezvoltarea sistemelor de inteligență artificială moderne. Ritmul este unul tehnic, susținut de numeroase exemple de cod care transformă teoria în funcționalitate.