✦ LIBER ✦

Operational and goal-independent denotational semantics for Prolog with cut

✍ Scribed by Fausto Spoto

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 454 KB
Volume: 42
Category: Article
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(99)00012-6

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a program is de®ned as the evaluation of the goal in the denotation (semantics) of the program. We show how our denotational semantics can be specialised into a computed answer semantics and into a call pattern semantics. Our work provides a basis for a precise abstract interpretation of Prolog programs.