prolog 集合的交

NoSuchKey