Prolog: richer family KB