PROLOG (abbreviazione di PROgramming in LOGic) è il linguaggio dichiarativo di maggior successo sviluppato ad oggi. Adottato dai giapponesi come linguaggio-"nocciolo" per il loro progetto di V generazione, PROLOG è già stato usato per lo sviluppo di sistemi esperti, per l'analisi di linguaggi naturali, per dimostrare teoremi matematici, per generare traslatori per computer, per risolvere problemi. PROLOG è basato principalmente su parole del linguaggio corrente - non su simboli oscuri - e impiega queste parole per descrivere fatti, relazioni e schemi in modo logico, conciso.

Oggi, Micro-PROLOG, una significativa e promettente implementazione di PROLOG, è disponibile per i PC basati su MS DOS e per la maggior parte dei sistemi CP/M e stà per essere rilasciato anche per numerosi altri computer, tra i quali Apple Il e Commodore 64. Con questo volume programmatori, studenti, insegnanti e appassionati dei PC possono iniziare ad esplorare il mondo di PROLOG scrivendo e facendo girare programmi. Tom Conlon ci da, infatti, un'indispensabile introduzione informale a questo linguaggio rivoluzionario, ponendo l'accento sulla sua logica e sullo sviluppo delle abilità necessarie per diventare dei bravi problem-solvers. Il volume non richiede alcuna conoscenza preliminare di matematica e di programmazione. Scritto in modo vivace ed accessibile, consente d'acquistare una completa padronanza delle basi e delle possibilità di Micro-PROLOG. La trattazione è integrata da esempi e da esercizi proposti al lettore, oltre che da indicazioni utili per ulteriori approfondimenti. Il volume curato nell'edizione italiana da Leopoldo Giannelli - è così il testo introduttivo ideale consigliabile come prima lettura a quanti desiderano conoscere questo importante linguaggio.

Tom Conlon è lecturer al Moray Gouse College of Education di Edinburgo (Scozia).