プロローグ内のリストの最後の2つのアイテムの合計

Question

リストの最後の2つのアイテムの合計のコードを見つけようとしています。

?- last_two([4,5,6,3,6,1,7,3],T). 

T = 10 

?- last_two([4,5,6,3,6,1,4,5],T). 

T = 9 

Answer 1

（？このような問題を発明誰が）

:- use_module(library(clpfd)). 

last_two(Xs, S) :- 
    phrase((..., [X,Y]), Xs), 
    S #= X+Y. % or S is X+Y. 

... --> [] | [_], ... . 

：それはこれを返すためにどのように見えるか

last_two([],false). 
last_two([H|[]],H). 
last_two([_|T], P) :- last_two(T,P). 

： 私は今だすべては、リストの最後の項目を返す関数であります

はるかに高速なソリューションがありますが、DCGを理解した後は、上記のことが最も理解しやすいと思います。

falseとデフォルト値を使用することをお勧めしました。私はこれに少し懐疑的です。空リストの理由はなぜfalseですか？しかし、効果的に0は、単一要素のリストですか？ Prologでは、単に失敗する可能性があります。 SWI-Prologの中

:- use_module(library(clpfd)). 

last_two(Xs, S) :- 
    last_two(Xs, 0, 0, S). 

last_two([], A, B, S) :- 
    S #= A+B. 
last_two([B|Bs], _, A, S) :- 
    last_two(Bs, A, B, S). 

Answer 2

、[はい、あなたが正しいインスタンス

?- last_two([_,U,3],10). 
U = 7