Mathematical Aspects of Logic Programming Semantics