Introduzione alla programmazione logica

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 5 voti.

Titolo originale:

Introduction to Logic Programming

Contenuto del libro:

Questa è un'introduzione alla teoria della programmazione logica, alla tecnologia attuale e alle applicazioni più diffuse. Si tratta di un approccio innovativo, basato sulla teoria dei modelli, alla programmazione logica.

La programmazione logica è uno stile di programmazione in cui i programmi assumono la forma di insiemi di frasi nel linguaggio della logica simbolica. Nel corso degli anni, la programmazione logica ha suscitato un crescente interesse grazie alle applicazioni nei database deduttivi, nei fogli di lavoro automatizzati, nella gestione aziendale (regole di business), nella legge computazionale e nel gioco in generale.

La trattazione inizia con la nozione fondamentale di insiemi di dati, cioè di insiemi di atomi di terra. Data questa nozione fondamentale, introduce le viste, cioè le relazioni virtuali, e definisce i programmi logici classici come insiemi di definizioni di viste, scritti utilizzando una notazione tradizionale simile al Prolog, ma con una semantica data in termini di insiemi di dati piuttosto che di implementazione. Introduce poi le azioni, cioè le aggiunte e le cancellazioni di atomi di terra, e definisce i programmi logici dinamici come insiemi di definizioni di azioni.

Oltre al libro stampato, è disponibile una versione online del testo con un interprete e un compilatore per il linguaggio utilizzato nel testo e un ambiente di sviluppo integrato da utilizzare per sviluppare e implementare programmi logici pratici.