]> On Thursday 25 July 2002 09:30 am, sajuma@utu.fi wrote: > ruleset: 1 is a => b; > dataset: a; > goals: g is a and b; > ------------------------------ > > The meaning of Rule 1 is that if "a" is in the dataset, then > it is removed from the dataset, and "b" is added to the > dataset. > > The meaning of goal "g" is that both "a" and "b" are > in the dataset after some sequence of rule activations. > In this case, additive and multiplicate readings are > different, because it is possible to reach both "a" and "b", > but they cannot coexists. I'm glad we straightened this out. In my program "a", "b", etc. are logical variables "and" is logical AND (aka "multiplication") "=>" is logical inference Cheers, Oleg ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners