Backtracking will unify Value with successive values associated with Key in the order in which they were recorded.
Success: [eclipse]: record(beer,paulaner), > record(beer,lowenbrau), > record(beer,spaten), > recorded(beer,Value). Value = paulaner More? (;) Value = lowenbrau More? (;) Value = spaten More? (;) no (more) solution. Fail: erase_all(beer),recorded(beer,guiness). Error: recorded(Beer,Value). (Error 4) recorded("beer",Value). (Error 5) recorded(1,Value). (Error 5)