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

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.