A Compositional Semantics for Logic Programs

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo. A Compositional Semantics for Logic Programs. Theoretical Computer Science, 122(1&2):3-47, 1994.

Abstract

Abstract is missing.