#include <sicstus/sicstus.h> int SP_cut_query(SP_qid query);
Commit to the current solution to the given query, and close it.
The query, created by
SP_SUCCESS for success,
SP_FAILURE for failure,
SP_ERROR if an error condition occurred.
This will discard the choices created since the corresponding
SP_open_query(), like the goal
!. The current solution
is retained in the arguments until backtracking into any enclosing
query. The given argument does not have to be the innermost open
query; any open queries in its scope will also be cut.
Finding Multiple Solutions of a Call.