Is there any way to get the attributes attached to a query variable back from the server? E.g., using clpFD:
?- X #=< 6.
X in inf..6.
but an equivalent query #=<(X,6)
to a pengine will return #=<(X,6)
.
Is there any way to get the attributes attached to a query variable back from the server? E.g., using clpFD:
?- X #=< 6.
X in inf..6.
but an equivalent query #=<(X,6)
to a pengine will return #=<(X,6)
.
To answer my own question, this can be done using the write_result
hook given recent fix [https://github.com/SWI-Prolog/packages-pengines/pull/46] has been installed.