子集,组合,排列的 prolog 解法