Hi Marc,
this seems a bug. Thank you for the report.
Unfortunately, I cannot dig into it immediately.
Can you fill an issue in the github repo
(https://github.com/didoudiaz/gprolog/issues) with the copy of this
example ?
(else I will do it).
Daniel
Le 29/11/2023 à 17:21, Marc Nieper-Wißkirchen a écrit :
Hi Daniel,
Today, I have stumbled upon the following:
| ?- X #= quot_rem(3, 2, U).
X #= quot_rem(3, 2, U).
cannot display cyclic term for U
X = 1
yes
| ?-
I don't understand why U is not unified with 2. Compare with the
following, which works:
| ?- U #= 3 rem 2.
U #= 3 rem 2.
U = 1
yes
| ?-
I tested this with the latest release version (1.5.0) and the version
packaged with Ubuntu (1.4.5).
Thanks,
Marc
