Re: Cyclic term error with quot_rem

[Daniel Diaz]

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