recorded_list(Key, List) :- findall(Term, recorded(Key, Term), List).In the case of compound terms, all keys of the same name and arity are treated as equal.
Success: [eclipse]: erase_all(beer), recorded_list(beer,List). List = [] yes. [eclipse]: record(beer,paulaner), record(beer,lowenbrau), recorda(beer,spaten), recorded_list(beer,List). List = [spaten, paulaner, lowenbrau] yes. Fail: erase_all(beer), recorded_list(beer,[paulaner]). Error: recorded_list(Beer,Value). (Error 4) recorded_list(1,Value). (Error 5) recorded_list(beer,lowenbrau). (Error 5)