12.3.4 SP_close_query()

Synopsis

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

Discard 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_ERROR if an error condition occurred.

Description

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.

See Also

Finding Multiple Solutions of a Call.