Next: cpg-ref-SP_compare, Previous: cpg-ref-SP_calloc, Up: cpg-bif [Contents][Index]
SP_close_query()
#include <sicstus/sicstus.h> int SP_close_query(SP_qid query);
Discard the current solution to the given query, and close it.
The query, created by SP_open_query()
.
SP_SUCCESS
for success,
SP_ERROR
if an error condition occurred.
This will discard the choices created since the corresponding
SP_open_query()
, and then backtrack into the query, throwing
away any current solution, like the goal !, fail
. The given
argument does not have to be the innermost open query; any open
queries in its scope will also be closed.
Finding Multiple Solutions of a Call.