QP_cut_query()
#include <quintus/quintus.h> int QP_cut_query(qid) QP_qid qid;
Equivalent to just calling !
in Prolog.
The computation is rendered determinate, but
as it is not failed over the Prolog heap is not popped. Thus when
terminating a query using QP_cut_query()
more space may be retained,
but so is the last solution.
QP_SUCCESS
QP_ERROR
QP_qid
or Prolog has not been initialized
QP_query()
, QP_close_query()
,
QP_next_solution()
, QP_open_query()
, QP_pred()
,
QP_predicate()
fli-ffp