search

SWI-Prolog / roadmap

Discuss future development
21 stars 3 forks source link

Attributed variables that are only bound by attrib_unify_hook/2 #36

Closed TeamSPoon closed 8 years ago

TeamSPoon commented 8 years ago

Attributed variables that are only bound by attrib_unify_hook/2

Attributed variables call $wakeup basically after their identities have been removed from the current call. So i've been working a patch in the C code that delay the assignment to the attributed variable.

I won't go into too much detail but it seems it will be a great performance boost to not need to linearize arguments in CLP(??)

What this comes down to being a supertype of Paul Tarau's fluent variables call TermSinks

JanWielemaker commented 8 years ago

Hi Douglas,

Interesting. You may wish to chat to Markus about this. He has some pending requests for the attvar API and he is the biggest user. --- Jan

TeamSPoon commented 8 years ago

Aha, I had thought i read the other issues first but this is a close duplicate to Markus' https://github.com/SWI-Prolog/roadmap/issues/14

TeamSPoon commented 8 years ago

This was a duplicate of #14