simple rule examples

From: Mike Dean ([email protected])
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.

	Mike

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