改进 Prolog 程序：Prolog 的重构
软件工程
2007-05-23 v1
摘要
重构是面向对象（OO）编程社区中一种成熟的代码重构技术：它旨在提高软件的可读性、可维护性和可扩展性。尽管重构并不特别局限于 OO 范式，但其思想至今尚未应用于逻辑编程。本文将重构的思想应用于 Prolog 程序。文中展示了一个重构目录，根据作用域对重构进行分类。其中一些重构改编自 OO 范式，而另一些则是专门为 Prolog 设计的。部分重构还解决了 Prolog 中预期语义与操作语义之间的差异问题。此外，文中讨论了半自动重构浏览器 ViPReSS，并报告了将 ViPReSS 应用于大型 Prolog 遗留系统的经验。主要结论是，重构在 Prolog 中既是一种可行技术，也是一种非常理想的技术。
引用
@article{arxiv.cs/0702083,
title = {Improving Prolog programs: Refactoring for Prolog},
author = {Alexander Serebrenik and Tom Schrijvers and Bart Demoen},
journal= {arXiv preprint arXiv:cs/0702083},
year = {2007}
}
备注
To appear in Theory and Practice of Logic Programming (TPLP)