Prolog family relationship database