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 à 14:19, Daniel Diaz <[email protected]> a écrit : > > 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
