Say we are working with a Prolog-like system where variables are dynamically created in different branch contexts and scopes, yet these variables are also globally viewable by the system regardless of the current context. Is there a way to label each variable with a unique scope ID which can be u...