Regarding CLPZ Current Propagator

[jgarte]

Hi,

Where is $clpz_current_propagator implemented?

trealla/library/clpz.pl

Line 4128 in dba2ecd

; { bb_get('$clpz_current_propagator', C), C == State } -> []

I was expecting a C function to exist for it in the same way that $unattributed_var has an associated C function 🦆

https://github.com/search?q=repo%3Atrealla-prolog%2Ftrealla%20%22%24unattributed_var%22&type=code

[infradig]

My very limited understanding is that $clpz_current_propagator is just a name recording some state, not a function or predicate.

[jgarte]

Got it. So this differs from our usual $-prefix convention for C-implemented functions?

[infradig]

CLPZ is externally sourced, so does it's own thing.