标签: prolog constraints eclipse-clp
最近,我开始阅读有关约束编程语言,尤其是eclipsE的文章。
我在suspend和ic之间以及在ic和ic_global之间都找不到比较。
suspend
ic
ic_global
如果有人可以解释的话,那将是很大的帮助。举个小例子就足够了,或者也要感谢消息来源。