mthom
Document atts library
This is an issue to better document the atts library:
https://github.com/mthom/scryer-prolog/blob/master/src/lib/atts.pl
What is it about? Why does it exist?
Yes, I agree this needs documentation.
It's an implementation of "attributed variables". You probably don't want to use them directly.
@triska's writeup on attributed variables: https://www.metalevel.at/prolog/attributedvariables SWI's documentation: https://www.swi-prolog.org/pldoc/man?section=attvar Sicstus's documentation: https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/lib_002datts.html#lib_002datts
I have a Flying Roll I'm writing on Scryer's attributed variables. I don't know when it'll be ready to publish.
In case anyone is interested in such a feature, I would much prefer first having a discussion about this topic. For instance, what is the relation to meta-structures mentioned in the Prolog II manual?
