Adapt CHR to use the attributed variables interface
Closed this issue · 0 comments
triska commented
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.