Title: Improving Prolog programs: Refactoring for prolog
Authors: Schrijvers, Tom ×
Serebrenik, Alexander #
Issue Date: 2004
Publisher: Springer-verlag berlin
Series Title: Logic programming, proceedings vol:3132 pages:58-72
Conference: International Conference on Logic Programming edition:20 location:Saint-Malo, France date:Septemer 6-10, 2004
Abstract: Refactoring is an established technique from the OO-community to
restructure code: it aims at improving software readability, maintainability
and extensibility. Although refactoring is not tied to the OO-paradigm in
particular, its ideas have not been applied to Logic Programming until now.

This paper applies the ideas of refactoring to Prolog programs. A catalogue
is presented listing refactorings classified according to scope. Some of
the refactorings have been adapted from the OO-paradigm, while others have been
specifically designed for Prolog. Also the discrepancy between intended
and operational semantics in Prolog is addressed by some of the refactorings.

In addition, ViPReSS, a semi-automatic refactoring browser,
is discussed and the experience with applying ViPReSS to a large Prolog
legacy system is reported. Our main conclusion is that refactoring is not only
a viable technique in Prolog but also a rather desirable one.
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
paper.pdf Published 195KbAdobe PDFView/Open


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

© Web of science