Semantics for Prolog via term rewrite systems - Baeten, Josephus C. M.; Weijland, W. P. (1987)