Stav dette: Advances in logic programming theory / edited by Giorgio Levi.