Write a Prolog database for these families defining sibling, sex, and child relationships, and then appropriate rules that will define uncle and aunt relationships so as to allow questions about them. For example, one should be able to write:
?uncle(Y,ingrid) OR ?aunt(alice,T)
Check out your solution using the "free use" version of the Prolog Interpreter.
Last Updated 2002/03/26
© L.Heath, 2000, extensively modified by J.A.N. Lee.