Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
有人可以告诉我如何在 ECLiPSe-CLP 或 Prolog 中实现这些 sigma，或者至少给我指导如何实现和解决它们。
