Un Linguaggio Logico per Basi di Dati e Conoscenza