arXiv 2001-07-17 EN An interactive semantics of logic programming Bruni, Roberto · Montanari, Ugo · Rossi, Francesca
