[EMAIL PROTECTED] wrote:
I'm interested in
rule right-hand-sides as well as left-hand sides; most of the XML rule
languages are very oriented towards classical production systems in
which RHSs can do nothing but assert/retract/modify;
Ernest,
That is an interesting point. Can you give some
I think situated Logic is just mean for that. In situated logic one can attach external methods to a predicate. so that whenever the predicates are asserted it will in turn invoke methods associated with it.
Situated logic is fairly generic . But it can be customized to a particular system like