]> Could you guys take your challenge discussions of the Caml list ? At this point it doesn't really have to do with Caml. Maybe when you're done competing and comparing... Thanks, François Rouaix (310) 316 9529 http://www.rouaix.org/fmr/ > -----Original Message----- > From: owner-caml-list@pauillac.inria.fr > [mailto:owner-caml-list@pauillac.inria.fr] On Behalf Of Oleg > Sent: Thursday, July 25, 2002 11:16 AM > To: sajuma@utu.fi > Cc: caml-list@inria.fr > Subject: Re: [Caml-list] Rule based language > > > 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 > > > ------------------- 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