a

aldragon

    IA16.1 PROLOG - Gestione del DataBase Prolog
    38:04
    IA15.1 PROLOG - Gestione dell'Input-Output
    37:35
    IA14.1 PROLOG - Gestione dei Termini
    31:57
    IA13.2 PROLOG - Negazione per Fallimento " \+"
    18:31
    IA13.1 PROLOG - il CUT " ! "
    38:47
    IA12.3 PROLOG - Liste, Operatori, Aritmetica 4
    10:07
    IA12.3 PROLOG - Liste, Operatori, Aritmetica 3
    25:47
    IA12.2 PROLOG - Liste, Operatori, Aritmetica 2
    20:36
    IA12.1 PROLOG - Liste, Operatori, Artitmetica 1
    29:42
    IA11.2 PROLOG - Sintassi e Semantica 2
    24:33
    IA11.1 PROLOG - Sintassi e Semantica 1
    19:45
    IA10.7 PROLOG - Introduzione 7
    9:45
    IA10.6 PROLOG - Introduzione 6
    6:24
    IA10.5 PROLOG - Introduzione 5
    6:04
    IA10.4 PROLOG - Introduzione 4
    6:48
    IA10.3 PROLOG - Introduzione 3
    8:01
    IA10.2 PROLOG - Introduzione 2
    17:14
    IA09: Logica del 1° Ordine: Programmi Normali
    25:44
    IA08: Logica del 1° Ordine: Alberi SLD
    38:24
    IA10.1 PROLOG. IB - Introduzione 1.webm
    25:44
    IA07: Logica del 1° Ordine: Risoluzione SLD
    38:46
    IA06: Logica del 1° Ordine: Risoluzione Lineare
    46:50
    IA05: Logica del 1° Ordine: Teorema di Herbrand
    32:27
    IA04: Logica del 1° Ordine: Clausole
    24:23
    IA03: Logica del 1° Ordine: Sistemi Formali
    40:06