Re: Issues with ubuntu 18.04
Jerry Hancock <[email protected]> Mon, 29 Mar 2021 12:00:28 -0700
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_04E9B904-E16C-48D7-A763-E08E12E22E51 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 thanks, I compiled from source and it fixed the problem on 18. I=E2=80=99= d like to migrate this system to 20 but it would be a ton of work. Regards, Jerry > On Mar 29, 2021, at 5:52 AM, Salvador Abreu <[email protected] = <mailto:[email protected]>> wrote: >=20 > that bug is fixed in the current distribution, e.g. package version = 1.4.5.0-3 > it's in the current LTS (20.4) >=20 > best, > -spa >=20 >> On 26 Mar 2021, at 07:56, Paulo Moura <[email protected] = <mailto:[email protected]>> wrote: >>=20 >> The Ubuntu .deb package is broken. You need to compile and install = GNU Prolog from sources. >>=20 >>> On 25 Mar 2021, at 21:25, Jerry Hancock <[email protected] = <mailto:[email protected]>> wrote: >>>=20 >>> Hello, =20 >>>=20 >>> Please excuse me for asking about something so old. I installed = gnu-prolog 1.4.5 on ubuntu server 18.04. The underlying hardware is an = HP dl380 with at least 24 cores. I had some code that runs perfectly = but slowly on other servers so I thought I would try my cloud server. >>>=20 >>> The test code is simple and instantiated in sit3.pl: >>>=20 >>> c(blue). >>> c(green). >>>=20 >>> sit3(X):-c(X). >>>=20 >>> On my other installations, the first solution X=3Dblue is returned = as expected.. On the ubuntu server 18.04 , I get an error, "uncaught = exception error(existence_error(procedure,c/0),sit3/0) =E2=80=9C = implying that c/0 doesn=E2=80=99t exist but I=E2=80=99m not calling c/0 = I=E2=80=99m calling c/1 as below: >>>=20 >>> {trace} >>> | ?- sit3(X). >>> 1 1 Call: sit3(_24) ?=20 >>> 2 2 Call: c ?=20 >>> 2 2 Exception: c ?=20 >>> 1 1 Exception: sit3(_24) ?=20 >>> uncaught exception: error(existence_error(procedure,c/0),sit3/0) >>> {trace} >>> | ?-=20 >>>=20 >>> If I assert the clauses from the terminal, all is well. >>>=20 >>> If I run c(X), trace returns: >>>=20 >>> | ?- c(X). >>> 1 1 Call: c(_24) ?=20 >>> 1 1 Exit: c(blue) ?=20 >>>=20 >>> X =3D blue ?=20 >>>=20 >>> Or=20 >>>=20 >>> | ?- asserta(cc(blue)). >>>=20 >>> yes >>> | ?- asserta(cc(green)). >>>=20 >>> yes >>> | ?- asserta((sit33(X):-cc(X))). >>>=20 >>> yes >>> | ?- sit33(X). >>>=20 >>> X =3D green ?=20 >>>=20 >>>=20 >>> This is a very simple example that should work. I=E2=80=99ve been = working with prolog since the late 80=E2=80=99s and unless there is an = ini file that is note allowing the clauses to be added correctly, I = could't find it. >>>=20 >>> Thanks >>=20 >>=20 >=20 --Apple-Mail=_04E9B904-E16C-48D7-A763-E08E12E22E51 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; = charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; = -webkit-nbsp-mode: space; line-break: after-white-space;" class=3D""><meta= http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dutf-8" = class=3D""><div style=3D"word-wrap: break-word; -webkit-nbsp-mode: = space; line-break: after-white-space;" class=3D"">thanks, I compiled = from source and it fixed the problem on 18. I=E2=80=99d like to = migrate this system to 20 but it would be a ton of work.<div = class=3D""><br class=3D""><div class=3D""> <div style=3D"color: rgb(0, 0, 0); letter-spacing: normal; orphans: = auto; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; widows: auto; word-spacing: 0px; = -webkit-text-stroke-width: 0px; word-wrap: break-word; = -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" = class=3D""><div class=3D"">Regards,</div><div class=3D""><br = class=3D""></div><div class=3D"">Jerry</div><div class=3D""><br = class=3D""></div></div></div><div class=3D""><blockquote type=3D"cite" = class=3D""><div class=3D"">On Mar 29, 2021, at 5:52 AM, Salvador Abreu = <<a href=3D"mailto:[email protected]" class=3D"">[email protected]</a>> = wrote:</div><br class=3D"Apple-interchange-newline"><div class=3D""><div = class=3D"">that bug is fixed in the current distribution, e.g. package = version 1.4.5.0-3<br class=3D"">it's in the current LTS (20.4)<br = class=3D""><br class=3D"">best,<br class=3D"">-spa<br class=3D""><br = class=3D""><blockquote type=3D"cite" class=3D"">On 26 Mar 2021, at = 07:56, Paulo Moura <<a href=3D"mailto:[email protected]" = class=3D"">[email protected]</a>> wrote:<br class=3D""><br class=3D"">The = Ubuntu .deb package is broken. You need to compile and install GNU = Prolog from sources.<br class=3D""><br class=3D""><blockquote = type=3D"cite" class=3D"">On 25 Mar 2021, at 21:25, Jerry Hancock <<a = href=3D"mailto:[email protected]" class=3D"">[email protected]</a>> = wrote:<br class=3D""><br class=3D"">Hello, <br class=3D""><br = class=3D"">Please excuse me for asking about something so old. I = installed gnu-prolog 1.4.5 on ubuntu server 18.04. The underlying = hardware is an HP dl380 with at least 24 cores. I had some code = that runs perfectly but slowly on other servers so I thought I would try = my cloud server.<br class=3D""><br class=3D"">The test code is simple = and instantiated in sit3.pl:<br class=3D""><br class=3D"">c(blue).<br = class=3D"">c(green).<br class=3D""><br class=3D"">sit3(X):-c(X).<br = class=3D""><br class=3D"">On my other installations, the first solution = X=3Dblue is returned as expected.. On the ubuntu server 18.04 , I = get an error, "uncaught exception = error(existence_error(procedure,c/0),sit3/0) =E2=80=9C implying that c/0 = doesn=E2=80=99t exist but I=E2=80=99m not calling c/0 I=E2=80=99m = calling c/1 as below:<br class=3D""><br class=3D"">{trace}<br class=3D"">|= ?- sit3(X).<br class=3D""> 1 = 1 Call: sit3(_24) ? <br class=3D""> = 2 2 Call: c ? <br = class=3D""> 2 2 = Exception: c ? <br class=3D""> 1 = 1 Exception: sit3(_24) ? <br class=3D"">uncaught = exception: error(existence_error(procedure,c/0),sit3/0)<br = class=3D"">{trace}<br class=3D"">| ?- <br class=3D""><br class=3D"">If I = assert the clauses from the terminal, all is well.<br class=3D""><br = class=3D"">If I run c(X), trace returns:<br class=3D""><br class=3D"">| = ?- c(X).<br class=3D""> 1 1 = Call: c(_24) ? <br class=3D""> 1 = 1 Exit: c(blue) ? <br class=3D""><br class=3D"">X = =3D blue ? <br class=3D""><br class=3D"">Or <br class=3D""><br = class=3D"">| ?- asserta(cc(blue)).<br class=3D""><br class=3D"">yes<br = class=3D"">| ?- asserta(cc(green)).<br class=3D""><br class=3D"">yes<br = class=3D"">| ?- asserta((sit33(X):-cc(X))).<br class=3D""><br = class=3D"">yes<br class=3D"">| ?- sit33(X).<br class=3D""><br class=3D"">X= =3D green ? <br class=3D""><br class=3D""><br class=3D"">This is a very = simple example that should work. I=E2=80=99ve been working with = prolog since the late 80=E2=80=99s and unless there is an ini file that = is note allowing the clauses to be added correctly, I could't find = it.<br class=3D""><br class=3D"">Thanks<br class=3D""></blockquote><br = class=3D""><br class=3D""></blockquote><br = class=3D""></div></div></blockquote></div><br = class=3D""></div></div></body></html>= --Apple-Mail=_04E9B904-E16C-48D7-A763-E08E12E22E51--