attributed variables in GNU Prolog
Adam Russell <[email protected]> Wed, 14 May 2025 17:21:52 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <CY5PR10MB6238980FF4D80D6FE053AEE3D491A@CY5PR10MB6238.namprd10.prod.outlook.com> |
--_000_CY5PR10MB6238980FF4D80D6FE053AEE3D491ACY5PR10MB6238namp_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
I recently came across the work documented here https://pauillac.inria.fr/~=
haemmerl/gprolog-rh/
Similarly I saw the code for that project which seems to be a fork of the m=
ain Gnu Prolog sources. I understand that project is quite old at this poin=
t, but I am curious as to why the main GNU Prolog lacks these features whic=
h were previously developed. I am interested in attributed variables, and m=
ainly use GNU Prolog for my work. Is there any way to get access to these t=
hings from a more current version of GNU Prolog?
--_000_CY5PR10MB6238980FF4D80D6FE053AEE3D491ACY5PR10MB6238namp_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div class=3D"elementToProof" style=3D"font-family: Calibri, Helvetica, san=
s-serif; font-size: 11pt; color: rgb(0, 0, 0);">
I recently came across the work documented here <a href=3D"https://pauillac=
.inria.fr/~haemmerl/gprolog-rh/" id=3D"LPlnk215695">
https://pauillac.inria.fr/~haemmerl/gprolog-rh/</a> </div>
<div class=3D"elementToProof" style=3D"font-family: Calibri, Helvetica, san=
s-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Calibri, Helvetica, san=
s-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Similarly I saw the code for that project which seems to be a fork of the m=
ain Gnu Prolog sources. I understand that project is quite old at this poin=
t, but I am curious as to why the main GNU Prolog lacks these features whic=
h 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>
</body>
</html>
--_000_CY5PR10MB6238980FF4D80D6FE053AEE3D491ACY5PR10MB6238namp_--