11.6.5 Overview of Tabling-related Predicates

merge_answer_store(+AnswerStore)

chr
Merges the given CHR answer store into the current global CHR constraint store.

get_chr_store(-ConstraintStore)

chr
Returns the current global CHR constraint store.

set_chr_store(?ConstraintStore)

chr
Set the current global CHR constraint store. If the argument is a fresh variable, the current global CHR constaint store is set to be an empty store.

get_chr_answer_store(+Mod,-AnswerStore)

chr
Returns the part of the current global CHR constraint store of constraints in the specified CHR module, in the format of an answer store usable as a return argument of a tabled predicate.