Next:
Introduzione
Sommario
Sommario
1. Introduzione
2. Fondamenti di programmazione logica
2.1 Linguaggi del primo ordine e programmi logici
2.2 Unificazione
2.3 Risoluzione SLD
2.4 Semantica dichiarativa
2.4.1 Modelli di Herbrand e operatore
3. Negazione in programmazione logica
3.1 La negazione come fallimento finito
3.2 Negazione intensionale
3.3 Negazione costruttiva
3.3.1 Risoluzione SLDCNF
3.3.2 Diseguaglianze
3.3.3 Regola di computazione
3.3.4 Derivazione
3.3.5 Risposte pre-normalizzate e risposte in forma normale
3.3.6 Negazione delle risposte
3.3.7 Correttezza e completezza di SLDCNF per alberi finiti
3.3.8 Sottogoal negativi quantificati esplicitamente
4. La terminazione di programmi logici
5. Operatori su teorie logiche e NI per programmi non definiti
5.1 Unione e intersezione di programmi logici
5.2 Differenza tra programmi
5.3 NI per programmi non definiti
6. Integrazione di NI e NC di Chan
6.1 Negazione intensionale e negazione costruttiva
6.2 Schema
6.2.1 Tipi, modi e norma
6.2.2 Traduttore
6.2.2.1 Analizzatore
6.2.2.2 Negazione intensionale
6.2.2.3 Negazione costruttiva
6.2.2.4 Sintesi di
6.2.3 Interprete
6.2.4 Correttezza e completezza
6.3 Negazione di
6.4 Aspetti implementativi
7. Il linguaggio Gödel
7.1 Una semantica semplice
7.2 Il Type System
7.3 Strumenti per la metaprogrammazione
7.4 Costrutti per il controllo
7.5 Quantificatori e condizionali
7.6 Modularità
7.7 I moduli di sistema
7.8 Stato dell'implementazione
8. Il progetto
8.1 Una sessione al terminale
9. Codice del progetto
10. Conclusioni
Bibliography
About this document ...
Roberto Giungato 2001-03-14
