niece_or_nephew_and_aunt_or_uncle

[Forumer]

If I understand correctly, forward chaining rules are run in the order they appear in fc_example.krb file.

In niece_or_nephew_and_aunt_or_uncle, the first premise, family.child_parent($nn, $parent, $depth, $_, $child_type), has five arguments and none of the earlier rules have asserted facts with five arguments. To me, this premise will never succeed!

Where am I wrong in my thinking?

Thank you!

[Bruce Frederiksen]

The forward chaining rules are run whenever all of the facts in their foreach clause are known.  The rule may be run once for a starting set of facts, and then run again later as new facts are asserted.  So the order is somewhat arbitrary.

--
You received this message because you are subscribed to the Google Groups "PyKE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pyke+uns...@googlegroups.com.
To post to this group, send email to py...@googlegroups.com.
Visit this group at http://groups.google.com/group/pyke.
For more options, visit https://groups.google.com/d/optout.