Fully Abstract Compositional Semantics for an Algebra of Logic Programs