【論理】Prolog【初心者】

[357 デフォルトの名無しさん 2011/12/10(土) 08:28:41.72]

この問題、素直に書けば

f [] = 0
f xs = last xs + f (diff xs)
　where
　　diff [x] = []
　　diff (x1:x2:xs) = (x2-x1):diff xs

こんな感じだろうけど、prologのコードだと全体が一様で問題の構造が
みえずらいね。