#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_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.