prolog中列表的运行长度解码？

Question

我正在尝试解码给定列表，例如 mydecode([(a,1), (b,2), (c,3), (d,2)],X) 应该给出 X = [' a','b','b','c','c','c','d','d']。这段代码有什么错误？

mydecode([],[]).
mydecode([X|Ys],[X|Zs]) :- \+ is_list(X), mydecode(Ys,Zs).
mydecode([[1,X]|Ys],[X|Zs]) :- mydecode(Ys,Zs).
mydecode([[N,X]|Ys],[X|Zs]) :- N > 1, N1 is N - 1, mydecode([[N1,X]|Ys],Zs).

Answer 1

• 要求您处理由 2 个元素组成的“元组”列表，而不是由 2 个元素组成的列表
• 那么，第二条中的测试总是会失败
• 元组元素是 key 和 value，但您以相反的顺序“访问”它们。

所以，删除第二个子句 - 它无关紧要，因为模式匹配会丢弃格式错误的列表。 将 [1,X] 更改为 (X,1) 以及对元组的其他类似引用，并使用分配的查询测试您的代码。