Programmazione in Prolog

Pubblicato originariamente nel 1981, questo è stato il primo libro di testo sulla programmazione nel linguaggio Prolog ed è ancora il testo introduttivo di riferimento per Prolog. Sebbene da allora siano stati pubblicati molti libri di testo su Prolog, questo si è distinto per la sua trattazione completa, il suo approccio didattico e l'enfasi sulle applicazioni generali della programmazione. Prolog continua a suscitare grande interesse nella comunità informatica ed è diventato la base per una nuova importante generazione di linguaggi di programmazione e sistemi per l'intelligenza artificiale. Dalla precedente edizione di "Programming in Prolog", il linguaggio è stato standardizzato dall'Organizzazione Internazionale per la Standardizzazione (ISO) e questo libro è stato aggiornato di conseguenza. Gli autori hanno inoltre introdotto nuovo materiale, precisato alcune spiegazioni, corretto una serie di piccoli errori e rimosso ripetizioni.