Title: Operational and denotational semantics of PROLOG