Prolog -- better way to eliminate duplicate answer in special case?...