Improving Prolog Programs: Refactoring for Prolog
| dc.creator | Schrijvers, Tom | |
| dc.creator | Serebrenik, Alexander | |
| dc.date | 2004-06-16 | |
| dc.date.accessioned | 2026-07-07T03:21:27Z | |
| dc.date.available | 2026-07-07T03:21:27Z | |
| dc.description | 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. | |
| dc.description | To appear in ICLP 2004 | |
| dc.identifier | https://arxiv.org/abs/cs/0406026 | |
| dc.identifier | http://arxiv.org/abs/cs/0406026 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32198 | |
| dc.subject | Software Engineering | |
| dc.subject | Programming Languages | |
| dc.subject | D.2.7; D.1.6 | |
| dc.title | Improving Prolog Programs: Refactoring for Prolog | |
| dc.type | text |