Controllo del linguaggio
  1. Costrutti di controllo
    1. Backtracking
    2. Cut
      1. Esempio
      2. Cut e completezza
      3. Usi più comuni del Cut
      4. Problemi con il Cut
    3. [Lab]
  2. Predicati extralogici predefiniti
    1. Predicati per la lettura dei programmi
    2. Operazioni su termini e strutture
    3. Predicati per operazioni su clausole
    4. Procedure d'ingresso e d'uscita
    5. Espressioni aritmetiche
    6. Procedure per la correzione dei programmi: Debugging
    7. [Lab]