Re: Cyclic term error with quot_rem
Daniel Diaz <[email protected]> Tue, 2 Dec 2025 20:17:49 +0100
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_DE2B5409-B34F-41BE-8F60-596CEE784243 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi Marc, A fixed the problem. I will be soon push a new version on GitHub (BTW: I = plan to release a new stable version soon). Daniel > Le 30 nov. 2023 =C3=A0 14:19, Daniel Diaz <[email protected]> = a =C3=A9crit : >=20 > Hi Marc, >=20 > this seems a bug. Thank you for the report.=20 >=20 > Unfortunately, I cannot dig into it immediately. >=20 > 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). >=20 > Daniel >=20 >=20 >=20 > Le 29/11/2023 =C3=A0 17:21, Marc Nieper-Wi=C3=9Fkirchen a =C3=A9crit : >> Hi Daniel, >>=20 >> Today, I have stumbled upon the following: >>=20 >> | ?- X #=3D quot_rem(3, 2, U). >> X #=3D quot_rem(3, 2, U). >>=20 >> cannot display cyclic term for U >> X =3D 1 >>=20 >> yes >> | ?- >>=20 >> I don't understand why U is not unified with 2. Compare with the = following, which works: >>=20 >> | ?- U #=3D 3 rem 2. >> U #=3D 3 rem 2. >>=20 >> U =3D 1 >>=20 >> yes >> | ?- >>=20 >> I tested this with the latest release version (1.5.0) and the version = packaged with Ubuntu (1.4.5). >>=20 >> Thanks, >>=20 >> Marc --Apple-Mail=_DE2B5409-B34F-41BE-8F60-596CEE784243 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 <html aria-label=3D"message body"><head><meta http-equiv=3D"content-type" = content=3D"text/html; charset=3Dutf-8"></head><body = style=3D"overflow-wrap: break-word; -webkit-nbsp-mode: space; = line-break: after-white-space;">Hi Marc,<br><div><br></div><div><div>A = fixed the problem. I will be soon push a new version on GitHub (BTW: I = plan to release a new stable version = soon).</div><div><br></div><div>Daniel</div></div><div><br><blockquote = type=3D"cite"><div>Le 30 nov. 2023 =C3=A0 14:19, Daniel Diaz = <[email protected]> a =C3=A9crit :</div><br = class=3D"Apple-interchange-newline"><div> =20 <meta http-equiv=3D"Content-Type" content=3D"text/html; = charset=3DUTF-8"> =20 <div><p>Hi Marc,</p><p>this seems a bug. Thank you for the = report. </p><p>Unfortunately, I cannot dig into it = immediately.</p><p>Can you fill an issue in the github repo (<a = href=3D"https://github.com/didoudiaz/gprolog/issues" = class=3D"moz-txt-link-freetext">https://github.com/didoudiaz/gprolog/issue= s</a>) with the copy of this example ?<br> (else I will do it).<br> </p><p>Daniel</p><p><br> </p> <div class=3D"moz-cite-prefix">Le 29/11/2023 =C3=A0 17:21, Marc Nieper-Wi=C3=9Fkirchen a =C3=A9crit :<br> </div> <blockquote type=3D"cite" = cite=3D"mid:[email protected]= il.com"> <meta http-equiv=3D"content-type" content=3D"text/html; = charset=3DUTF-8"> <div dir=3D"ltr"> <div class=3D"gmail_default" style=3D"font-family:monospace">Hi Daniel,</div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> </div> <div class=3D"gmail_default" = style=3D"font-family:monospace">Today, I have stumbled upon the following:</div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> | ?- X #=3D quot_rem(3, 2, U).<br> X #=3D quot_rem(3, 2, U).<br> <br> cannot display cyclic term for U<br> X =3D 1<br> <br> yes</div> <div class=3D"gmail_default" style=3D"font-family:monospace">| = ?-</div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> </div> <div class=3D"gmail_default" style=3D"font-family:monospace">I = don't understand why U is not unified with 2. Compare with the following, which works:<br> </div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> </div> <div class=3D"gmail_default" style=3D"font-family:monospace">| = ?- U #=3D 3 rem 2.<br> U #=3D 3 rem 2.<br> <br> U =3D 1<br> <br> yes<br> | ?- <br> </div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> </div> <div class=3D"gmail_default" style=3D"font-family:monospace">I tested this with the latest release version (1.5.0) and the version packaged with Ubuntu (1.4.5).</div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> </div> <div class=3D"gmail_default" = style=3D"font-family:monospace">Thanks,</div> <div class=3D"gmail_default" style=3D"font-family:monospace"><br> </div> <div class=3D"gmail_default" = style=3D"font-family:monospace">Marc<br> </div> </div> </blockquote> </div> </div></blockquote></div><br></body></html>= --Apple-Mail=_DE2B5409-B34F-41BE-8F60-596CEE784243--