Logica del linguaggio
  1. Sintassi
    1. Costanti
    2. Variabili
    3. Strutture
    4. Liste
    5. [Lab]
  2. Semantica
    1. Fatti, regole, obiettivi
    2. Semantica di un programma
      1. Introduzione
      2. Semantica dichiarativa
      3. Semantica procedurale
  3. Apparato deduttivo
    1. Principio di risoluzione
    2. Regola di negazione come fallimento
  4. Metateoria
    1. Correttezza e completezza della risoluzione
    2. Incompletezza del Prolog