no link to attributed variables page in table of contents

[medovina]

There's no link to the page about attributed variables (https://www.metalevel.at/prolog/attributedvariables) in the table of contents. I don't know whether that's an intentional omission, but the page is quite informative and it would be nice to have it listed.

[triska]

Good catch!

This will definitely be better integrated in the future. One guarantee I am striving for is to have everything I am describing in the main portion of the book available in at least one free Prolog system, so that interested readers can easily try it out.

For attributed variables, there are cutting-edge news: Mark Thom implemented support for attributed variables with the SICStus interface in rusty-wam only a few days ago!

I am self-assigning this item and will provide better integration and coverage that will take the latest developments in this area into account.

[triska]

The online version of the chapter now explains attributed variables using the interface provided by SICStus and Scryer Prolog:

https://www.metalevel.at/prolog/attributedvariables

It is very nice that a free system can now be used to experiment with this interface! However, there is one issue that remains to be solved so that the examples yield identical results in both systems:

mthom/scryer-prolog#353

Once that is resolved, I will commit the changes, and integrate the chapter in the table of contents.