Example of genealogy in Prolog