相关疑难解决方法(0)

假设我想找到谓词的所有解的总和,我可以使用

findall(L, find(L), Sols),

并且只是总结了Sols的成员.

但是如果find(L)有很多(无限的,可能)解决方案,我只想得到它们中的前10个呢？

我希望它可用于B-Prolog和ECLiPSe CLP.