Hi, It seems to me that it's not possible to use a predicate declared as cc_multi or cc_nondet outside a single-solution context. In the reference manual there is nothing said about how to "get rid" of such a context. Or did I misssomething? Martin Stein