来源：https://stackoverflow.com/questions/28828553/prolog-finding-largest-value-from-a-setof-list 标签 prolog prolog-setof
