改进 Prolog 程序：Prolog 的重构

重构是面向对象社区中一种成熟的代码重构技术：它旨在提高软件的可读性、可维护性和可扩展性。尽管重构并不特别绑定于面向对象范式，但迄今为止其思想尚未被应用于逻辑编程。本文将重构的思想应用于 Prolog 程序。文中提出了一个重构目录，根据作用范围对重构进行分类。其中一些重构改编自面向对象范式，而另一些则是专门为 Prolog 设计的。部分重构还解决了 Prolog 中预期语义与操作语义之间的差异。此外，文中还讨论了半自动重构浏览器 ViPReSS，并报告了将 \vipress 应用于一个大型 Prolog 遗留系统的经验。我们的主要结论是，重构不仅在 Prolog 中是一种可行的技术，而且是一种非常理想的技术。