问题
Is it possible for someone to tell me how to implement these sigmas in ECLiPSe-CLP or Prolog or at least give me guidance on how to implement and solve them.
来源：https://stackoverflow.com/questions/55792013/how-to-implement-these-sigma-notations-in-eclipse-clp-or-prolog