simple rule examples

From: Mike Dean (
Date: 05/12/03

  • Next message: Mike Dean: "Joint Committee telecon tomorrow 13 May"
    I promised to suggest several examples to help us compare
    the Horn clause subsets of RuleML and SCL:
    1) An employee of a (subsidiary) Company is also an employee
    of its parent Company.
    2) The uncle of a Person is either the brother of their
    parent, or the husband of their aunt.
    3) 2 *distinct* children in the same Family are siblings.

    This archive was generated by hypermail 2.1.4 : 05/12/03 EST