Improving Prolog programs: Refactoring for Prolog

Simple item page
dc.creatorSerebrenik, Alexander
dc.creatorSchrijvers, Tom
dc.creatorDemoen, Bart
dc.date2007-02-14
dc.date.accessioned2026-07-07T07:47:01Z
dc.date.available2026-07-07T07:47:01Z
dc.descriptionRefactoring is an established technique from the object-oriented (OO) programming 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. The discrepancy between intended and operational semantics in Prolog is also 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. The main conclusion is that refactoring is both a viable technique in Prolog and a rather desirable one.
dc.descriptionTo appear in Theory and Practice of Logic Programming (TPLP)
dc.identifierhttps://arxiv.org/abs/cs/0702083
dc.identifierhttp://arxiv.org/abs/cs/0702083
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/124024
dc.subjectSoftware Engineering
dc.subjectD.2.7; D.1.6
dc.titleImproving Prolog programs: Refactoring for Prolog
dc.typetext

Files

Collections

arXiv