CHR should be adapted to use the attributed variables interface of SWI-Prolog, i.e., the attribute_goals//1 interface.
This will make it possible to reason about remaining residual goals via copy_term/3, as for other constraint solvers that currently ship with SWI-Prolog.
CHR should be adapted to use the attributed variables interface of SWI-Prolog, i.e., the
attribute_goals//1interface.This will make it possible to reason about remaining residual goals via
copy_term/3, as for other constraint solvers that currently ship with SWI-Prolog.