Towards a Logical Semantics for Pure Prolog