example with 2 combined searches: does "No solution" guarantee no solution actually?

From: Ivan Zakharyaschev <imz_at_altlinux.org>
Date: Tue, 19 Apr 2011 22:00:46 +0000

Wolfgang, thank you for the reply!

2011/4/19 Wolfgang Lux <wlux_at_uni-muenster.de>:

> Yes. The bug is fixed in the darcs repository, but has never made it into a

I see. I'll install and use the version from the darcs repository.

>> Does my intuition that "No solution" guarantees that there exists no
>> solution make sense?
>> When else can the order of the arguments of (=:=) matter (although it
>> appears to be symmetric)?
>
> The order of arguments should not matter anywhere except for the order in
> which solutions are computed.

I see.

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)?


Best wishes,

--
Ivan
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Apr 20 2011 - 00:03:22 CEST

This archive was generated by hypermail 2.3.0 : Do Mär 28 2024 - 07:15:11 CET