Next: cpg-ref-SP_define_c_predicate, Previous: cpg-ref-SP_create_stream, Up: cpg-bif [Contents][Index]
SP_cut_query()
#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_open_query()
.
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.