Defining Standard Prolog in Rewriting Logic

9 years 10 months ago
Defining Standard Prolog in Rewriting Logic
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut and whose depth-first search strategy is incomplete. The purpose of this paper is to present the key concepts of a new, simple operational semantics of Standard Prolog in the form of rewriting rules. We use a novel linear representation of the Prolog tree traversal. A derivation is represented at the level of unification and backtracking. The rewriting system presented here can easily be implemented in a rewriting logic language, giving an executable specification of Prolog.
Marija Kulas, Christoph Beierle
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Authors Marija Kulas, Christoph Beierle
Comments (0)