Logic Programming without Negation as Failure