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