Next: mpg-ref-current_module, Previous: mpg-ref-current_input, Up: mpg-bpr [Contents][Index]
current_key/2
current_key(?KeyName, ?KeyTerm)
Succeeds when KeyName is the name of KeyTerm, and KeyTerm is a recorded key.
atomic
One of:
term
The most general form of the key for a currently recorded term.
This predicate can be used to enumerate in undefined order all keys for currently recorded terms through backtracking.
Enumerates all keys through backtracking.
None.