Estensioni della programmazione logica

"Questo volume contiene articoli presentati al secondo workshop internazionale sulle estensioni della programmazione logica, che si è tenuto presso l'Istituto Svedese di Informatica, Stoccolma, dal 27 al 29 gennaio 1991. I 12 articoli descrivono e discutono diversi approcci alle estensioni dei linguaggi di programmazione logica come PROLOG, così come le connessioni tra programmazione logica e programmazione funzionale, fondamenti teorici di estensioni, applicazioni e metodologie di programmazione. Il primo workshop di questa serie si è tenuto a T}bingen nel 1989 e i suoi atti sono disponibili come LNCS 475. Il terzo workshop si terrà a Bologna nel 1992"--SITO WEB DELL'EDITORE.