Re: Invertible nondeterminism?

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Fri, 17 Dec 2010 14:31:53 +0900

On Thu, 2010-12-16 at 15:42 +0100, Julio Mariņo wrote:
> Hmmm, that looks different from the typical constructive negation
> interpretation... negation would subtract a given amount of copies of
> positive results...
>
> 7 ? 7 ? inv 7 = 7 = 7 ? inv 7 ? 7

Could you point me to a description of the "typical constructive
negation interpretation". I have searched a little but did not find
anything that mentioned subtracting results.

Would the query `p(X)` fail if `p` is defined as:

    p(X) :- isT(X).
    p(X) :- not isT(X).

    isT(t).

?

The corresponding program with anti-results is

   p = T
   p = anti T

which satisfies p = T ? anti T = failure .

Best regards,
Sebastian

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Dez 17 2010 - 11:10:18 CET

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