Re: Invertible nondeterminism?

From: Juan Rodriguez Hortala <juanrh_at_fdi.ucm.es>
Date: Thu, 16 Dec 2010 12:48:50 +0100

Hi, I think you are much faster than me when answering e-mails! Anyway,
I do not understand this point
> Using the analogy of natural numbers with addition this is
>
> NAT + (-EVEN)
>
> which corresponds to
>
> nat ? anti evenNat

But if we think about (?) and 'anti' like the set operators U (union)
and \ (difference), then 'nat ? anti evenNat' is like

nat U (nat \ even) = nat

Does really (?) behave like some kind of addition, or like some kind of
set union operator? Which is the behaviour in concrete FLP systems?

Greetings,

Juan


-- 
------------------------------------------------------------------------
Juan Rodríguez Hortalá
Grupo de Programación Declarativa / Declarative Programming Group
E-Mail : juanrh_at_fdi.ucm.es
Home Page: http://gpd.sip.ucm.es/juanrh/
Tel: + 34 913947646
Despacho / Office: 220 (2ª planta / 2nd floor)
Dept. Sistemas Informáticos y Computación / Department of Computer 
Systems and Computing
Universidad Complutense de Madrid
Facultad de Informática
C/ Profesor José García Santesmases, s/n
E - 28040 Madrid. Spain
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Dez 16 2010 - 13:41:28 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:11 CEST