Cyclic term error with quot_rem

[Marc Nieper-Wißkirchen]

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