single-solution context

Martin Stein ms40 at
Mon Oct 12 02:24:49 AEST 1998


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

More information about the users mailing list