Prolog

Fülszöveg

SAGGiO CAMPIONE GRATUITO FUORI GOMMERCIO
Esente IVA - Arl. 2 punto D - D.P.R. del 26-10-72 n. 633
Esente Bolla di accompagnamento punto 6 art. 4 - D.P.R. 6-10-78 n. 627
Lé origini della programmazione lógica si possono far risa-lire agli anni '50, quando ormai logici e matematici comin-ciarono a studiare la possibilitá di automatizzare le dimo-strazioni dei teoremi. Questi studi portarono, a metá degli anni '60, alio sviluppo di una importante técnica di dimo-strazione, la Técnica di risoluzione di Alan Robinson, di cui PROLOG ne é una implementazione. Era l'inizio degli anni '70 quando il linguaggio PROLOG, chesta per PROgramming in LOGic, fu sviluppato ma, come spesso accade, la sua conoscenza é rimasta limitata a pochi gruppi di ricerca per una decina di anni. II progetto di ricerca giapponese per i computer della Ouin-ta Generazione, basat sulle tecniche di programmazione lógica, ha fatto impj-ovvisamente esplodere l'interesse in-torno a PROLOG. Oggi questo linguaggio é... Tovább

Fülszöveg

SAGGiO CAMPIONE GRATUITO FUORI GOMMERCIO
Esente IVA - Arl. 2 punto D - D.P.R. del 26-10-72 n. 633
Esente Bolla di accompagnamento punto 6 art. 4 - D.P.R. 6-10-78 n. 627
Lé origini della programmazione lógica si possono far risa-lire agli anni '50, quando ormai logici e matematici comin-ciarono a studiare la possibilitá di automatizzare le dimo-strazioni dei teoremi. Questi studi portarono, a metá degli anni '60, alio sviluppo di una importante técnica di dimo-strazione, la Técnica di risoluzione di Alan Robinson, di cui PROLOG ne é una implementazione. Era l'inizio degli anni '70 quando il linguaggio PROLOG, chesta per PROgramming in LOGic, fu sviluppato ma, come spesso accade, la sua conoscenza é rimasta limitata a pochi gruppi di ricerca per una decina di anni. II progetto di ricerca giapponese per i computer della Ouin-ta Generazione, basat sulle tecniche di programmazione lógica, ha fatto impj-ovvisamente esplodere l'interesse in-torno a PROLOG. Oggi questo linguaggio é ampiamente utilizzato, in particolar modo per la produzione di sistemi esperti.
Questo libro ne costituisce un'esauriente introduzione. Le possibilitá del linguaggio sono dimostrate da moltissimi esempi, che si riferiscono soprattutto ad applicazioni di Intelligenza Artificíale. II libro si caratterizza per il gran numero di esercizi proposti e per le indicazioni d'uso delle principan implementazioni esistenti (CProlog, Turbopro-log, Microprolog, ecc.). Vissza