Unify Frame with an integer providing a reference to the
parent of the current local stack frame. A pointer to the current local
frame cannot be provided as the predicate succeeds deterministically and
therefore its frame is destroyed immediately after succeeding.
Tags are associated to your profile if you are logged in