IA06: Logica del 1° Ordine: Risoluzione Lineare