逻辑程序的结构化变换

摘要

本文讨论了逻辑程序变换的问题,设计了一个基本逻辑程序变换系统,给出了系统的变换规则,提出了一种支持集宽度优先的变换策略,证明了交换系统的正确性,并在此基础上提出了一种逻辑程序结构化变换的方法。