Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Rule based language [was: productivity improvement]
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Oleg <oleg_inconnu@m...>
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