Can I use freeze/2 to detect a variable being instantiated, for debugging purposes?

Help!
4

2 posts were split to a new topic: How can a foreign language predicate also be a built-in predicate?