Introduction to
Logic Programming
What
versus
How
 

Exercise 9.2 - 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