A WAM Estesa per la Composizione di Programi Logici.