Re: residuation for compositional search?

From: Antonio Regidor García <a_regidor_at_yahoo.es>
Date: Tue, 14 Jun 2011 07:41:34 +0100 (BST)

Sorry, only the FIRST version works ok.

Is this a bug in MCC?

Antonio Regidor García

--- El mar, 14/6/11, Antonio Regidor García <a_regidor_at_yahoo.es> escribió:

> De: Antonio Regidor García <a_regidor_at_yahoo.es>
> Asunto: Re: residuation for compositional search?
> Para: curry_at_lists.RWTH-Aachen.DE
> Fecha: martes, 14 de junio, 2011 08:32
> > Hello,
> >
> > assume I want to write a function that
> > nondeterministically yields a
> > partition of its input list where a partition of
> > a list `l` is defined as a
> > list `p` that satisfies the following properties:
> >
> >    concat p = l
> >    all (not . null) p = True
> >
> > If I define this in Curry either as
> >
> >     partition l | concat p =:= l
> & all (not .
> > null) p =:= True = p
> >       where p free
> >
> > or as
> >
> >     partition l | all (not . null)
> p =:= True &
> > concat p =:= l = p
> >       where p free
> >
> > then `partition` fails to terminate at least when
> > querying for all
> > solutions.
>
> Both examples work ok in MCC (at least in the repository
> version).
>
> Greetings
>
> Antonio Regidor García
>
> _______________________________________________
> curry mailing list
> curry_at_lists.RWTH-Aachen.DE
> http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
>

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Jun 14 2011 - 09:13:13 CEST

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