Il testo descrive tecniche e metodologie per la implementazione e l'utilizzo del paradigma della programmazione logica su macchine parallele. Dopo un'introduzione alle architetture parallele ed ai concetti di base della programmazione logica e di Prolog, il libro descrive le varie forme di parallelismo presenti nei programmi logici e i sistemi che utilizzano tali forme di parallelismo. Come caso di studio, viene presentato il modello PALM per l'esecuzione parallela di programmi logici. Sono discusse in dettaglio le tecniche, tipiche delle implementazioni di applicazioni parallele, utilizzate per l'implementazione del modello su un'architettura parallela a memoria distribuita. Il testo è diretto a ricercatori, progettisti e studenti di corsi avanzati nelle aree delle architetture parallele, della programmazione logica e dei linguaggi di programmazione.
Programmazione Logica e Architetture Parallele
Cannataro M;
1993-01-01
Abstract
Il testo descrive tecniche e metodologie per la implementazione e l'utilizzo del paradigma della programmazione logica su macchine parallele. Dopo un'introduzione alle architetture parallele ed ai concetti di base della programmazione logica e di Prolog, il libro descrive le varie forme di parallelismo presenti nei programmi logici e i sistemi che utilizzano tali forme di parallelismo. Come caso di studio, viene presentato il modello PALM per l'esecuzione parallela di programmi logici. Sono discusse in dettaglio le tecniche, tipiche delle implementazioni di applicazioni parallele, utilizzate per l'implementazione del modello su un'architettura parallela a memoria distribuita. Il testo è diretto a ricercatori, progettisti e studenti di corsi avanzati nelle aree delle architetture parallele, della programmazione logica e dei linguaggi di programmazione.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.