Success: [eclipse]: recordz(beer, paulaner, Ref), referenced_record(Ref, X). Ref = 1714c8 X = paulaner yes. [eclipse]: recorded(beer, _, Ref), referenced_record(Ref, X). Ref = 1714c8 X = paulaner More? (;) yes. Failure: [eclipse]: recorded(beer, _, Ref), erase(Ref), referenced_record(Ref, X). no (more) solution. Error: referenced_record(_, Value). (Error 4) referenced_record(123, Value). (Error 5)