刷新

一种逻辑程序优化工具(扩展抽象)。本文介绍了一种逻辑程序求精的工具,它基于作者提出的求精演算[逻辑程序的精化规范]。在J.Gallagher编辑的《逻辑程序综合与转换》。1996年8月,瑞典斯德哥尔摩,LOPSTR'96,第六届国际研讨会论文集。笔记计算。科学。1207年(1997年)]。REFLP工具是交互式的,由用户驱动优化过程。REFLP建立在Ergo上,Ergo是一个可定制的交互式定理证明器,其基本证明范式是窗口推理。