The Reasoned Schemer: The Reasoned Schemer

Dacă Logic Programming with Prolog v-a oferit cadrul teoretic al paradigmei logice, The Reasoned Schemer oferă instrumentele practice pentru a construi un astfel de sistem de la zero. Suntem de părere că această a doua ediție rafinează considerabil procesul de învățare, simplificând limbajul utilizat și mecanismele de implementare pentru a evidenția eleganța programării relaționale. Subliniem faptul că, spre deosebire de alte manuale tehnice rigide, autorii păstrează stilul distinctiv de dialog — o succesiune de întrebări și răspunsuri presărate cu umor — care a consacrat seria din care fac parte și The Little Schemer sau The Seasoned Schemer. În contextul operei lui Daniel P. Friedman, lucrarea de față face tranziția de la simpla manipulare a listelor și recursivitate către conceptele avansate de unificare și backtracking. Notăm cu interes introducerea noilor reguli de „Traducere”, care facilitează conversia funcțiilor standard în relații, oferind o punte clară între programarea funcțională și cea logică. Dacă în The Little Prover accentul cădea pe demonstrații inductive, aici accentul este pus pe flexibilitatea programelor relaționale, capabile să ruleze în mai multe direcții (calculând atât rezultatul, cât și argumentele de intrare). Volumul nu se limitează la teorie, ci ghidează cititorul în implementarea efectivă a unui mini-limbaj logic, demonstrând că esența calculului relațional poate fi capturată cu un set minim de primitive.