On 12/12/05, Boriss Mejias <[EMAIL PROTECTED]> wrote: > The key concept is the variable, and you can bind it only once to a > stream, a list, a number, an atom, a cell, etc. Once is bound, you can't > change it.
Or to put it another way, the information store is monotonically-increasing. When you create new variable, you don't know anything about it except that it exists. For instance, if you have variable X and someone asks for the value of X+1, the question can't be answered because there's not enough information. (You're not even sure if X+1 is well-defined, i.e. if X is an integer.) Later on if someone informs you that X=3, you can now answer: X+1 equals 4. On the other hand, if somebody then tells you that X = 4, you get confused and throw up all over them, because that conflicts with what you already know (X=3), and that information isn't removed. On the other hand, you can be informed that X=foo(Z) X=Y(fish) which simply makes you deduce that Y=foo and Z=fish. But the information store only gets bigger, never smaller. Max Wilson "Attacks always get better--they never get worse." An NSA saying which seems relevant. -- Be pretty if you are, Be witty if you can, But be cheerful if it kills you. _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
