大家好，我正在尝试将数字转换为单词列表。我的逻辑似乎是正确的，但输出有问题。我在Mac中使用swi-prolog。
所以当我输入 平移（[1,2,3]，X）。 它给出了错误。
means(0,zero).
means(1,one).
means(2,two).
means(3,three).
means(4,four).
means(5,five).
means(6.six).
means(7,seven).
means(8,eight).
means(9,nine).
translate([],[]).
translate([Head|Tail],[Head1|Tail1]):-
means(Head,Head1),
translate(Tail,Tail1).
预期：
?- translate([1,2,3],X).
X = [one,two,three].
但是得到了：
?- translate([1,2,3],X).
false.