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