A fixed point semantics for logic programs extended with cuts

Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter


In this paper, we develop a bottom-up fixed point semantics for pure Prolog programs extended with !/0 that allows to reconstruct the operational semantics of a particular goal. Our semantics captures both the order in which solutions are computed by SLD-resolution and their multiplicity.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsMichael Leuschel
PublisherSpringer Verlag
Number of pages20
ISBN (Electronic)9783540404385
Publication statusPublished - 2003
Externally publishedYes

Publication series

NameLogic Based Program Synthesis and Transformation, LOPSTR 2002


Dive into the research topics of 'A fixed point semantics for logic programs extended with cuts'. Together they form a unique fingerprint.

Cite this