Title: A fixed point semantics for logic programs extended with cuts
Authors: Vanhoof, Wim ×
Tronçon, Remko
Bruynooghe, Maurice #
Issue Date: 2003
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:2664 pages:238-257
Conference: Logic Based Program Synthesis and Transformation (LOPSTR 2002) location:Madrid, Spain date:September 16-20, 2002
Abstract: 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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
40744.pdf Published 274KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science