序言列表和递归

我在理解Prolog中的设计递归时遇到了问题。序言列表和递归

一些辅助谓词只是附加到开始分别结束：

add_number(Numbers, N, NewNumbers). 
add_letter(Letters, L, NewLetters).

我的目标是把字母和数字列表，并返回两个名单：号码列表中出现的顺序，递增减1;和出现相反顺序的字母表。这里是我的推理：

foo([], [], [], [], []). 

foo([X|Xs], Nums, NewNums, Letters, Letters) :- 
    number(X), 
    X1 is X+1, 
    add_number(Nums, X1, NewNums), 
    foo(Xs, ???, ???, Letters, Letters). 

foo([X|Xs], Nums, Nums, Letters, NewLetters) :- 
    letter(X), 
    add_letter(Letters, X, NewLetters), 
    foo(Xs, Nums, Nums, ???, ???).

第二个和第四个参数是蓄电池。

然后，它应该叫这样的：

realfoo(Xs, Nums, Letters) :- foo(Xs, [], Nums, [], Letters).

我怎样写代码？

来源

2011-04-22 Xarnite

使用累加器以相反的顺序建立列表。不要使用add_number或者你会得到一个二次时间算法，而你可以在线性时间内解决这个问题。

foo([], NumsR, Nums, Letters, Letters) :- 
    reverse(NumsR, Nums). 
foo([X|Xs], NumsR, Nums, LettersR, Letters) :- 
    % the following is the Prolog syntax for if-then-else; 
    % you could also do this with two recursive clauses, 
    % but this option is faster because of first-argument indexing 
    (number(X) -> 
     X1 is X+1, 
     foo(Xs, [X1|NumsR], Nums, LettersR, Letters) 
    ; 
     foo(Xs, NumsR, Nums, [X|LettersR], Letters) 
    ).

来源

2011-04-22 08:30:36

foo（[]，Nums，Nums，Letters，Letters）。

FOO（[X |两个X]，Nums_1，订购数量，Letters_1，书信）： - 数（X）， X1是X + 1， add_number（Nums_1，X1，Nums_2） FOO（XS， Nums_2，Nums，Letters_1，Letters）。

FOO（[X |两个X]，Nums_1，订购数量，Letters_1，书信）： - 字母（X）， add_letter（Letters_1，X，Letters_2） FOO（XS，Nums_1，订购数量，Letters_2，信件）。

add_number（Nums_1，X，Nums_2）： - append（Numbs_1，[X]，nums_2）。（Letters_1，X，Letters_2）： - append（Letters_1，[X]，Letters_2）。

来源

2011-04-22 10:46:46

我会做这样的事情：

foo(List , Numbers , Letters) :- 
    worker(List , [] , Numbers , [] , Letters). 

worker([]  , Numbers   , Numbers , Letters   , Letters). 
worker([X|Xs] , NumberAccumulator , Numbers , LetterAccumulator , Letters) :- 
    digit(X), 
    X1 is X+1 , 
    append(NumberAccumulator , [X1] , NumberAccumulator1) , 
    worker(Xs , NumberAccumulator1 , Numbers , LetterAccumulator , Letters). 
worker([X|Xs] , NumberAccumulator , Numbers , LetterAccumulator , Letters) :- 
    letter(X) , 
    worker(Xs , NumberAccumulator , Numbers , [X|LetterAccumulator] , Letters). 
worker([X|Xs] , NumberAccumulator , Numbers , LetterAccumulator , Letters) :- 
    not letter(X) , 
    not digit(X) , 
    worker(Xs , NumberAccumulator , Numbers , LetterAccumulator , Letters). 

letter(a). letter(b). letter(c). ... letter(z). 
letter('A'). letter('B'). letter('C'). ... letter('Z'). 

digit('0'). digit('1'). digit('2'). ... digit('9').

由于这是一个学习锻炼，我不推迟列表的逆转：我会做明显的，并建立在反向列表序列，尽管性能受到影响。我相信练习的要点是你需要学习如何构建列表。

来源

2011-04-22 19:15:27

序言列表和递归

回答

相关问题