Attributed variables within Clauses

[TeamSPoon]

Attributed variables within Clauses

Perhaps: clause_goals(Head,Body,Goals).

What this reminds me is how often I think it'd be nice to have some sort of clause property called extra_space where we could put an arbitrary terms. (though with an expectation of Variables aligning to Head/Body) ) And if it can be efficiently accessed by C, even moving some of C's properties into this extra_space. This space would be used by all sorts of things.. Variable names groveled out by prolog_source or having comments placed in them. I know this opens a can of fun.