should be an unbound variable introduced by
to the next preferred instantiation from the conflict set of the currently executing context. This goal may be satisfied repeatedly each time returning the next instantiation. When no instantiations are left, it fails.
is bound to an instantiation object if one is available.
KnowledgeWorks and Prolog User Guide - 4 Apr 2005