Success: [eclipse]: recordz(whiskey, jameson, _), recordz(whiskey, glenfiddich, Ref), recordz(whiskey, dimple, _), erase(Ref). Ref = 98538 yes. [eclipse]: recorded(whiskey, L, _). L = jameson More? (;) L = dimple More? (;) no (more) solution. Fail: [eclipse]: recorded(whiskey,_,R), !, erase(R), erase(R). no (more) solution. Error: erase(Var). (Error 4) erase(123). (Error 5)