Может ли кто-нибудь рассказать мне, как внедрить эти сигмы в ECLiPSe-CLP или Prolog, или хотя бы дать мне руководство о том, как их реализовать и решить.
