single-solution context

Martin Stein ms40 at inf.tu-dresden.de
Mon Oct 12 02:24:49 AEST 1998


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



More information about the users mailing list