SWI-Prolog/roadmap

Adapt CHR to use the attributed variables interface

Closed this issue · 0 comments

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.