Manuale completo di PROLOG

Il Prolog come non ve l'hanno mai spiegato: dalla logica dei predicati ai sistemi esperti, in italiano, con ogni esempio verificato.
C'è un linguaggio in cui programmare significa descrivere ciò che è vero e lasciare che sia il calcolatore a trovare la soluzione. È il Prolog: lo strumento di riferimento dell'intelligenza artificiale simbolica, dei sistemi esperti e della risoluzione di problemi con vincoli. Questo manuale vi ci accompagna passo dopo passo, senza dare nulla per scontato e senza fermarsi alla superficie.
Un percorso completo in 14 capitoli:

• Fondamenti - il paradigma dichiarativo, fatti e regole, unificazione e backtracking, liste e ricorsione, con il modello di esecuzione spiegato fino a saperlo rifare su carta
• Il linguaggio in profondità - aritmetica e interi a precisione arbitraria, cut e negazione, eccezioni, strutture dati e operatori su misura, input/output e base di dati dinamica, memoizzazione con la tabulazione
• Tecniche avanzate - programmazione di ordine superiore, grammatiche a clausole definite (DCG) per analizzare e generare testo, moduli e collaudo automatico con plunit, programmazione logica con vincoli CLP(FD)
• Progetti completi - un risolutore di rompicapi, un assistente testuale che capisce comandi in italiano, un pianificatore di turni a vincoli: tre programmi veri, dal problema alla soluzione funzionante

Che cosa rende diverso questo manuale:

• Ogni esempio è stato verificato con SWI-Prolog 9: oltre 200 interrogazioni eseguite davvero, con l'output autentico riportato nel testo
• 42 esercizi svolti e commentati più 70 esercizi proposti, tutti con soluzione completa nell'appendice dedicata
• In ogni capitolo la sezione Con l'IA: come usare l'IA generativa come assistente di studio Prolog - e dove invece vi porta fuori strada
• Cinque appendici da tenere sulla scrivania: riferimento dei predicati, glossario, risorse per proseguire, ricettario essenziale delle soluzioni rapide, soluzioni complete di tutti gli esercizi

A chi si rivolge: a chi programma in linguaggi imperativi e vuole il salto di prospettiva dichiarativo; a studenti di informatica e di logica; a chi lavora con sistemi a regole, analisi del linguaggio o problemi combinatori; a chi ha incontrato il Prolog all'università e vuole finalmente capirlo davvero.
Il metodo: ogni concetto entra in scena con un problema concreto, si consolida in sessioni reali del top level che potete rifare tasto per tasto, e si fissa con esercizi graduati. I riquadri Nota, Attenzione e Suggerimento distillano l'esperienza - le trappole classiche, le convenzioni di stile, i trucchi del mestiere - mentre i riferimenti incrociati vi permettono di usare il libro anche come opera di consultazione, per tornare a quella cosa a distanza di mesi. Il tono è quello della collana: rigoroso senza pedanteria, con la teoria sempre al servizio del codice che funziona.
Dal paradosso apparente di un linguaggio senza istruzioni al piacere di un motore inferenziale che scrivete voi stessi e che spiega i propri ragionamenti: il Prolog è uno dei viaggi più formativi che un programmatore possa intraprendere. Questo manuale è pensato per accompagnarvi lungo tutto il percorso - e per restare.
Non serve esperienza pregressa di programmazione logica: bastano curiosità e la pazienza di lasciarsi sorprendere da un modo nuovo di pensare il calcolo. Alla fine del percorso saprete leggere, scrivere e progettare programmi Prolog di cui fidarvi - e avrete in mano attitudini che migliorano il vostro codice in qualunque linguaggio.