Re: warning: discontiguous predicate x/2 - clause ignored
François Fages <[email protected]> Wed, 8 Feb 2023 10:36:10 +0100
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_4B924690-5BE3-42DB-B8B2-CCFB1ECF219D Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hello the warning message tells you that the third clause is ignored (because = it is discontinuous) > On 8 Feb 2023, at 10:19, one_of_us <[email protected]> wrote: >=20 > Hello! > My name is Pavel. > Thank you very much for so pretty gprolog! > I have found some strange feature: > --- >=20 > o@Kiki:~/prolog$ gprolog > GNU Prolog 1.5.0 (64 bits) > Compiled Jan 8 2023, 18:49:30 with gcc > Copyright (C) 1999-2023 Daniel Diaz >=20 > | ?- [user]. > compiling user for byte code... > x(a, a). > x(b, a). % Here is all good. > y(a, a). > end_of_file. > user compiled, 3 lines read - 384 bytes written, 23325 ms >=20 > (1 ms) yes > | ?- x(b, A). >=20 > A =3D a >=20 > (1 ms) yes > | ?- halt. >=20 > o@Kiki:~/prolog$ gprolog > GNU Prolog 1.5.0 (64 bits) > Compiled Jan 8 2023, 18:49:30 with gcc > Copyright (C) 1999-2023 Daniel Diaz >=20 > | ?- [user]. > compiling user for byte code... > x(a, a). % For some reason > y(a, a). % there is an error > x(b, a). % in this order. > user:3: warning: discontiguous predicate x/2 - clause ignored > end_of_file. > user compiled, 3 lines read - 313 bytes written, 38895 ms >=20 > (1 ms) yes > | ?- x(b, A). >=20 > no > | ?- halt. >=20 > --- > That's my fault or gprolog's bug? > Good bye! >=20 >=20 =20 --Apple-Mail=_4B924690-5BE3-42DB-B8B2-CCFB1ECF219D Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii <html><head><meta http-equiv=3D"content-type" content=3D"text/html; = charset=3Dus-ascii"></head><body style=3D"overflow-wrap: break-word; = -webkit-nbsp-mode: space; line-break: = after-white-space;">Hello<div><br></div><div>the warning message tells = you that the third clause is ignored (because it is = discontinuous)<br><div><br><blockquote type=3D"cite"><div>On 8 Feb 2023, = at 10:19, one_of_us <[email protected]> wrote:</div><br = class=3D"Apple-interchange-newline"><div><div>Hello!<br>My name is = Pavel.<br>Thank you very much for so pretty gprolog!<br>I have found = some strange feature:<br>---<br><br>o@Kiki:~/prolog$ gprolog<br>GNU = Prolog 1.5.0 (64 bits)<br>Compiled Jan 8 2023, 18:49:30 with = gcc<br>Copyright (C) 1999-2023 Daniel Diaz<br><br>| ?- = [user].<br>compiling user for byte code...<br>x(a, a).<br>x(b, = a). % Here is all = good.<br>y(a, a).<br>end_of_file.<br>user compiled, 3 lines read - 384 = bytes written, 23325 ms<br><br>(1 ms) yes<br>| ?- x(b, A).<br><br>A =3D = a<br><br>(1 ms) yes<br>| ?- halt.<br><br>o@Kiki:~/prolog$ gprolog<br>GNU = Prolog 1.5.0 (64 bits)<br>Compiled Jan 8 2023, 18:49:30 with = gcc<br>Copyright (C) 1999-2023 Daniel Diaz<br><br>| ?- = [user].<br>compiling user for byte code...<br>x(a, a). % For = some reason<br>y(a, a). % there is an error<br>x(b, = a). % in this order.<br>user:3: warning: discontiguous = predicate x/2 - clause ignored<br>end_of_file.<br>user compiled, 3 lines = read - 313 bytes written, 38895 ms<br><br>(1 ms) yes<br>| ?- x(b, = A).<br><br>no<br>| ?- halt.<br><br>---<br>That's my fault or gprolog's = bug?<br>Good bye!<br><br><br></div></div></blockquote></div><br><div> <meta charset=3D"UTF-8"><div dir=3D"auto" style=3D"font-family: = Helvetica; font-size: 12px; font-style: normal; font-variant-caps: = normal; font-weight: 400; letter-spacing: normal; orphans: auto; = text-align: start; text-indent: 0px; text-transform: none; white-space: = normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; = -webkit-text-stroke-width: 0px; text-decoration: none; caret-color: = rgb(0, 0, 0); color: rgb(0, 0, 0); word-wrap: break-word; = -webkit-nbsp-mode: space; line-break: after-white-space;"><div = dir=3D"auto" style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); = letter-spacing: normal; text-align: start; text-indent: 0px; = text-transform: none; white-space: normal; word-spacing: 0px; = -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: = break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div dir=3D"auto" style=3D"caret-color: rgb(0, 0, = 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; = text-indent: 0px; text-transform: none; white-space: normal; = word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: = none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div style=3D"color: rgb(0, 0, 0); letter-spacing: = normal; text-align: start; text-indent: 0px; text-transform: none; = white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; = word-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div><div><div></div><br></div><div> </div></div>= <div><br></div></div><br class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline"></div><br = class=3D"Apple-interchange-newline" style=3D"caret-color: rgb(0, 0, 0); = color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; = font-style: normal; font-variant-caps: normal; font-weight: 400; = letter-spacing: normal; orphans: auto; text-align: start; text-indent: = 0px; text-transform: none; white-space: normal; widows: auto; = word-spacing: 0px; -webkit-text-size-adjust: auto; = -webkit-text-stroke-width: 0px; text-decoration: none;"><br = class=3D"Apple-interchange-newline"> </div> <br></div></body></html>= --Apple-Mail=_4B924690-5BE3-42DB-B8B2-CCFB1ECF219D--