Towards a Logical Semantics fo Prolog