• Esercitazione 1
• Test 1

• Sintassi
  • Costanti
  • Variabili
  • Strutture
    • Esercitazione 2
    • Test 2
  • Liste
    • Esercitazione 3
    • Test 3

• Semantica
  • Semantica di fatti, regole, obiettivi
  • Semantica di un programma

• Apparato deduttivo del Prolog
  • Principio di risoluzione
  • Assunzione di mondo chiuso
    Negazione come fallimento
  • Riferimenti

• Metateoria
  • Correttezza e completezza della risoluzione diretta
  • Incompletezza del Prolog

• Costrutti di controllo
  • Backtracking
  • Il Cut
    • Esercitazione 4
    • Test 4

• Predicati extralogici predefiniti
  • Espressioni aritmetiche
    • Esercitazione 5
    • Test 5
  • Predicati per la lettura di programmi
  • Operazioni su termini e strutture
  • Predicati per operazioni su clausole
    • Esercitazione 6
    • Test 6
  • Procedure di ingresso e di uscita
  • Procedure per la correzione di programmi: debugging

• Regole Grammaticali
  • Analisi sintattica
  • Analisi sintattica in Prolog
  • Concordanze
  • Costruzione dell'albero sintattico
  • Esecuzione di goal Prolog
• Comprensione del linguaggio naturale
  • Tipi di grammatiche
  • Una grammatica per l'Italiano

Rappresentazione della conoscenza e reti ad ereditarietà strutturata: KL_ONE

• Introduzione
• Esempi
• Indice manuale KLONE