thrift@ti-csl.CSNET (Phil Thrift) (03/09/88)
I would be interested to see any comments about the use of prologs that have infinite term (also called infinite tree) unification. In particular I would be interested in any feedback about the use of this feature in real applications (or pointers to recent articles discussing this). [In the paper `A Prolog interpreter working with infinite terms' in "implementations of PROLOG", M. Filgueiras writes "The main conclusion from all of this is that much work (mainly by people working in realistic applications ...) is needed to allow accurate evaluation of the potential offered by infinite terms"]. Phil Thrift TI Computer Science Center