work on variables in C predicate

Hello

I wrote a predicate in C, I can test if elements are variables ore not.

Now I would like to know if I can work on these variables.

I would like to know its domain, maybe modify it.

I have read the documentation and found nothing about that.

best regards