Needed Narrowing Strategies

9406751 Antoy这个项目的目的是开发一个收缩策略的理论和应用，该策略将最近发现的归纳顺序系统需要收缩的概念扩展到基于构造函数的强顺序和弱正交系统。 将实现所需的收缩，因为它适用于函数逻辑语言，以实现函数和谓词的原型和可移植集成。 这种实现的效率将与以前提出的用于相同目的的缩窄的其他实现进行比较。 ***

9406751 Antoy The object of this project is to develop the theory and applications of a narrowing strategy that extends the recently discovered notion of needed narrowing for inductively sequential systems to constructor based strongly sequential and weakly orthogonal systems. Needed narrowing will be implemented as it applies to functional logic languages for a prototypical and portable integration of function and predicates. The efficiency of this implementation will be compared with that of other implementations of narrowing previously proposed for the same purpose. ***