Computational Law
Law
without
Lawyers
 

Exercise 3.5 - Aunts and Uncles


Write rules defining the binary aunt relation and the binary uncle relation in terms of parent and male and female.

parent
male
female
Rules
aunt
uncle