Re: attributed variables in GNU Prolog
François Fages <[email protected]> Thu, 15 May 2025 08:48:20 +0200
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_6412F9D0-3E12-47F6-B1C5-55B4C9E78A84 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hello This fork done by R=C3=A9mi Haemmerl=C3=A9, a former PhD student of = mine, dates back to 20 years ago and was not integrated in GNU-Prolog. There is currently a discussion about normalizing adding attributed = variables and adding them as an extension of the ISO-Prolog norm. So perhaps Daniel would be interested in that question. I would be happy to discuss the matter with him. Fran=C3=A7ois > On 14 May 2025, at 19:21, Adam Russell <[email protected]> wrote: >=20 > I recently came across the work documented here = https://pauillac.inria.fr/~haemmerl/gprolog-rh/=20 >=20 > Similarly I saw the code for that project which seems to be a fork of = the main Gnu Prolog sources. I understand that project is quite old at = this point, but I am curious as to why the main GNU Prolog lacks these = features which were previously developed. I am interested in attributed = variables, and mainly use GNU Prolog for my work. Is there any way to = get access to these things from a more current version of GNU Prolog? Francois Fages <[email protected] = <mailto:[email protected]>>=20 Research Director Inria,=20 Prof. Ecole Polytechnique http://lifeware.inria.fr/~fages=20 Inria Saclay - Team Lifeware - Building A. Turing=20 1 rue Honor=C3=A9 d'Estienne d=E2=80=99Orves - 91120 Palaiseau=20 Tel: +33 (0)1 74854241 Mob: +33 (0)6 82822937 https://inria.webex.com/meet/francois.fages =20 --Apple-Mail=_6412F9D0-3E12-47F6-B1C5-55B4C9E78A84 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"overflow-wrap: break-word; = -webkit-nbsp-mode: space; line-break: = after-white-space;">Hello<div><br></div><div>This fork done by R=C3=A9mi = Haemmerl=C3=A9, a former PhD student of mine, dates back to 20 years ago = and was not integrated in GNU-Prolog.</div><div>There is currently a = discussion about normalizing adding attributed variables and adding them = as an extension of the ISO-Prolog norm.</div><div>So perhaps Daniel = would be interested in that question.</div><div>I would be happy to = discuss the matter with = him.</div><div><br></div><div>Fran=C3=A7ois</div><div><br></div><div><div>= <br><blockquote type=3D"cite"><div>On 14 May 2025, at 19:21, Adam = Russell <[email protected]> wrote:</div><br = class=3D"Apple-interchange-newline"><div><meta charset=3D"UTF-8"><div = class=3D"elementToProof" style=3D"font-style: normal; font-variant-caps: = normal; font-weight: 400; 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; font-family: Calibri, Helvetica, sans-serif; font-size: 11pt;">I = recently came across the work documented here<span = class=3D"Apple-converted-space"> </span><a = href=3D"https://pauillac.inria.fr/~haemmerl/gprolog-rh/" = id=3D"LPlnk215695">https://pauillac.inria.fr/~haemmerl/gprolog-rh/</a>&nbs= p;</div><div class=3D"elementToProof" style=3D"font-style: normal; = font-variant-caps: normal; font-weight: 400; 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; font-family: Calibri, Helvetica, sans-serif; = font-size: 11pt;"><br></div><div class=3D"elementToProof" = style=3D"font-style: normal; font-variant-caps: normal; font-weight: = 400; 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; font-family: = Calibri, Helvetica, sans-serif; font-size: 11pt;">Similarly I saw the = code for that project which seems to be a fork of the main Gnu Prolog = sources. I understand that project is quite old at this point, but I am = curious as to why the main GNU Prolog lacks these features which were = previously developed. I am interested in attributed variables, and = mainly use GNU Prolog for my work. Is there any way to get access to = these things from a more current version of GNU = Prolog?</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; text-align: start; = text-indent: 0px; text-transform: none; white-space: normal; = word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: = none; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); overflow-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; overflow-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; overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-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; = overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: = after-white-space;"><div><div><div><br = class=3D"Apple-interchange-newline">Francois Fages <<a = href=3D"mailto:[email protected]">[email protected]</a>>&nb= sp;</div><div>Research Director Inria, </div><div>Prof. Ecole = Polytechnique</div><div><a = href=3D"http://lifeware.inria.fr/~fages">http://lifeware.inria.fr/~fages</= a> </div><div>Inria Saclay - Team Lifeware - Building A. = Turing </div><div>1 rue Honor=C3=A9 d'Estienne d=E2=80=99Orves - = 91120 Palaiseau </div><div>Tel: +33 (0)1 74854241 Mob: +33 (0)6 = 82822937</div></div><div><span style=3D"color: rgba(0, 0, 0, 0.95); = font-family: ciscosansttregular, "Helvetica Neue", Helvetica, = Arial, sans-serif, "Times New Roman"; font-size: 14px; = font-variant-ligatures: normal; orphans: 2; widows: 2; background-color: = rgb(255, 255, 255); text-decoration-thickness: initial; = text-decoration-style: initial; text-decoration-color: initial;"><a = href=3D"https://inria.webex.com/meet/francois.fages">https://inria.webex.c= om/meet/francois.fages</a></span></div><div><span style=3D"color: = rgba(0, 0, 0, 0.95); font-family: ciscosansttregular, "Helvetica = Neue", Helvetica, Arial, sans-serif, "Times New Roman"; = font-size: 14px; font-variant-ligatures: normal; orphans: 2; widows: 2; = background-color: rgb(255, 255, 255); text-decoration-thickness: = initial; text-decoration-style: initial; text-decoration-color: = initial;"><br></span></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; text-align: start; text-indent: 0px; = text-transform: none; white-space: normal; word-spacing: 0px; = -webkit-text-stroke-width: 0px; text-decoration: none;"><br = class=3D"Apple-interchange-newline"> </div> <br></div></body></html>= --Apple-Mail=_6412F9D0-3E12-47F6-B1C5-55B4C9E78A84--