Re: residuation for compositional search?

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Sat, 28 May 2011 23:02:46 +0200

Hello Michael,

On Tue, May 24, 2011 at 9:57 PM, Michael Hanus <mh_at_informatik.uni-kiel.de>wrote:

> Unfortunately, the relation between residuation and narrowing
> is still not clear since there are also examples where
> narrowing has a finite search space whereas the use of
> residuation leads to an infinite seach space.


Can you (or somebody else) remind me of such an example?

Sebastian



_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on So Mai 29 2011 - 08:24:25 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET