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