Wolfgang Lux schrieb:
> In fact, in that view encapsulation is neither rigid nor flexible(*), but
> it is simply an error to use a non-local variable (except for putting it
> into some data term that is returned from the encapsulated search).
>
> (*) Encapsulation cannot be flexible because that would mean the search
> goal could instantiate (probably non-determinstically) non-local variables.
Actually, this is what the mentioned paper describes. You can bind
non-local variables, but this binding is then only local. Conceptually,
strong encapsulation means making a copy of the whole evaluation state.
And, if you'd like, you can call this kind of encapsulation "flexible".
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Okt 14 2005 - 15:19:03 CEST