Algebraic Properties of a Class of Logic Programs