如何在ECLIPSE-CLP或Prolog中实现这些Sigma表示法

Question

有人可以告诉我如何在ECLiPSe-CLP或Prolog中实现这些sigma，或者至少为我提供如何实现和解决它们的指南。