1

私は簡単なトランスレータを書こうとしています。ここでは、数値のリストを入力すると、次のように文字列値が返されます。

translate（[1,2,3]、X）。X = [1、2、3]。

私が書いたコードは機能します...空のリストを返すことを除いて。これが私のコードとトレースです：

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).
means(10, ten).

translate([], X).
translate([H|T], []):-
    means(H, X),
translate(T, X).

translate([H|T], X):-
    means(H, Y),
    translate(T, [X|Y]).


[trace] 1 ?- translate([1,2,3], X).
    Call: (6) translate([1, 2, 3], _G2219) ? creep
    Call: (7) means(1, _G2301) ? creep
    Exit: (7) means(1, one) ? creep
    Call: (7) translate([2, 3], one) ? creep
    Call: (8) means(2, _G2301) ? creep
    Exit: (8) means(2, two) ? creep
    Call: (8) translate([3], [one|two]) ? creep
    Call: (9) means(3, _G2304) ? creep
    Exit: (9) means(3, three) ? creep
    Call: (9) translate([], [[one|two]|three]) ? creep
    Exit: (9) translate([], [[one|two]|three]) ? creep
    Exit: (8) translate([3], [one|two]) ? creep
    Exit: (7) translate([2, 3], one) ? creep
    Exit: (6) translate([1, 2, 3], []) ? creep
X = [] .

私の他の質問は、なぜ私のリストが[[one | two] | three]として連結されているのですか？[1、2、3]の代わりに？

ありがとう、

4

2 に答える 2

3

translate([H|T], [])句のために空のリストを取得します。

プログラム全体（事実を除くmeans）は、次のように単純にすることができます。

translate([], []).

translate([NumH | NumT], [WordH | WordT]) :-
    means(NumH, WordH),
    translate(NumT, WordT).
于 2013-02-27T01:27:27.960 に答える
1

手動で行うSergeyの方法は良い習慣ですが、次の方法でさらに単純化できますmaplist/3。

translate(Numbers, Words) :- maplist(means, Numbers, Words).
于 2013-02-27T04:56:17.580 に答える