Libri di Testo:

• Logica e Programmazione logica
  
• Marta Cialdea Mayer. Logica - Linguaggio, Ragionamento, Calcolo. Progetto Leonardo. Società Editrice Esculapio, 2002.
• 
  
• Prolog:
• Libri free: www.freeprogrammingresources.com/prologbook.html
• Tutorial free: www.freeprogrammingresources.com/prologtutr.html
• Console, Lamma, Mello, Milano. Programmazione Logica e Prolog, UTET Università, 1997.
• Altro materiale on line.

Materiale Didattico:

• Lez1. :
  
• introduzione al corso
• logica proposizionale: sintassi e semantica
• Lez2:
• soddisfacibilità
• equivalenza logica
  
• forme normali;
  
• ragionamenti corretti e strategie di prova
• Lez3:
  
• sistemi di inferenza
• sistema di Hilbert
• calcolo della Deduzione Naturale
• Lez4:
• Logica dei Predicati
• Sintassi
• Termini e formule
• Variabili libere e vincolate
• Sematica
• Interpretazione dei termini
• Interpretazione delle formule
• Lez5:
• Soddisfacibilità e validità
• Conseguenza logica
• Tecniche di dimostrazione
• Lez6:
• deduzione automatica
• unificazione
• Lez7:
• risoluzione per la logica proposizionale
• risoluzione per la logica del primo ordine
• Lez8:
• Alberi SLD
  
• un compilatore Prolog (Free Software):  SWI-Prolog
• Lez9:
• Introduzione al Prolog
  
• Lez10:
• Prolog: aritmentica e ricorsione
  
• Lez11:
• Prolog: liste
  
• Lez12:
• Prolog: cut
• Lez13:
• Prolog: negazione
• Lez14: aggiornati
  
• Prolog: metapredicati
• Lez 15:
• Prolog: predicati per la manipolazione di DB
  
• Lez16:
• esercizi Prolog