That would be a great addition to GNU Prolog. Hopefully there being some interest in this is helpful to motivate including it in the future. I understand the reluctance to not include things which are not part of is the ISO standard, but then again DCGs weren't part of ISO-Prolog until just this past June! ________________________________ From: François Fages <[email protected]> Sent: Thursday, May 15, 2025 2:48 AM To: [email protected] <[email protected]> Cc: Adam Russell <[email protected]> Subject: Re: attributed variables in GNU Prolog
Hello This fork done by Rémi Haemmerlé, 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çois On 14 May 2025, at 19:21, Adam Russell <[email protected]> wrote: 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 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]>> Research Director Inria, Prof. Ecole Polytechnique http://lifeware.inria.fr/~fages Inria Saclay - Team Lifeware - Building A. Turing 1 rue Honoré d'Estienne d’Orves - 91120 Palaiseau Tel: +33 (0)1 74854241 Mob: +33 (0)6 82822937 https://inria.webex.com/meet/francois.fages
