Ivan Zakharyaschev wrote:
> Do you have perhaps an answer to the question whether the intuition
> that I felt was broken in this case is actually true given the
> specification of the Curry language:
>
> that if a correct Curry implementation prints "No solution", then it
> is actually so that no solution can be invented (by "solution" I guess
> one could mean without going into formalities a result and assignments
> to free variables such that
> they conform to all the imposed constraints)?
This is correct. "No solution" means that there does not exist a
solution to this problem (provided that the program does not use
unsafe non-declarative features that are provided by some
implementations). Beyond a solution and no solution there
could also be the case that a computation suspends or does not terminate
which means that one has no definite information about the solvability
of the problem.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Apr 20 2011 - 02:07:56 CEST