Dalla Logica al Prolog

Giovanni Adorni, Maria Silvia Barbieri, Dario Bianchi, Eduardo Calabrese, Angela Maria Sugliano

1. Cos'è la logica matematica

2. Logica proposizionale

3. Logica dei predicati del primo ordine

4. Forma clausale e Principio di risoluzione

5. Logica per la risoluzione di problemi

6. Un linguaggio di programmazione logica: il Prolog

7. Bibliografia