All Questions
Tagged with prolog number-theory
1 question
1
vote
0
answers
53
views
Branch and scope globally unique identifiers
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 ...
