La programmazione logica nello sviluppo del software: dai modelli agli strumenti

   page       BibTeX_logo.png   
Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Gilberto Filè (a cura di)
Ambienti per linguaggi di nuova concezione, pp. 17–46
Collana CNR/PF "Sistemi Informatici e Calcolo Parallelo" (1418) 4
Franco Angeli, Milano, Italy
1995

Nonostante le potenzialità insite nel modello dichiarativo-relazionale su cui si basa, la programmazione logica stenta ad affermarsi nel mondo industriale. Al di là dei normali fattori d'inerzia nei confronti dell'innovazione, la limitata diffusione di questo paradigma può essere imputata a limiti obbiettivi di cui esso tuttora soffre, soprattutto per quanto riguarda lo sviluppo di sistemi di grandi dimensioni. Questo lavoro illustra le basi teoriche delle estensioni introdotte nel Progetto Finalizzato rivolte alla programmazione logica “nel grande”, e come queste siano in grado di catturare molti dei principi, dei concetti e dei meccanismi della programmazione modulare e orientata agli oggetti. Vengono inoltre presentate le scelte progettuali che sono state alla base del prodotto finale, già utilizzato in diverse applicazioni e già in uso presso numerosi centri accademici e di ricerca.