Hi Chuck,
You bring very good points to the table. The need to assert new facts comes
about because the matching algorithm, RETE, needs the new facts, as you
point out, to figure out if new rules need to fire.
But in a way the comparison is not fair. Because you can get the same effect
as in
A correction:
An intensional fact are those facts that appear in heads of rules (but they
may
also appear in bodies).
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]On
Behalf Of Agustin Gonzalez
Sent: Wednesday, June 21, 2000 10:39 AM
To: [EMAIL PROTECTED]
Hi Chuck,
As in all pursuits, you should choose the right tool for the
right job. Prolog and a Rete-based system like Jess are very
different. The central concept in Prolog is backwards chaining: given
the rules human(Socrates) and mortal(X) :- human(X), you might be
interested in knowing