12.3.10 SP_cut_query()

Synopsis

     #include <sicstus/sicstus.h>
     
     int
     SP_cut_query(SP_qid query);

Commit to the current solution to the given query, and close it.

Arguments

query

The query, created by SP_open_query().

Return Value

SP_SUCCESS for success, SP_FAILURE for failure, SP_ERROR if an error condition occurred.

Description

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.

See Also

Finding Multiple Solutions of a Call.