{"height":"190","provider_name":"Hatena Blog","categories":["Prolog","\u3081\u3082"],"title":" \u3082\u3063\u3068\u6c17\u8efd\u306b Prolog \u3067\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u5217","author_name":"E_Mattsan","provider_url":"https://hatena.blog","published":"2016-03-03 20:41:38","width":"100%","author_url":"https://blog.hatena.ne.jp/E_Mattsan/","description":"\u5148\u65e5\u3001\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u5217\u3092\u6c42\u3081\u308b Prolog \u306e\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u305f\u308f\u3051\u3067\u3059\u304c\u3002\u3082\u3063\u3068\u3059\u3063\u304d\u308a\u3068\u66f8\u3051\u308b\u3053\u3068\u306b\u6c17\u304c\u3064\u304d\u307e\u3057\u305f\u3002 add(X, Y, Z) :- Z is (X + Y). fib(N, Fib) :- length(Fib, N), append(Fib, [_], [1|Fib2]), append(Fib2, [_], [1|Fib3]), maplist(add, Fib, Fib2, Fib3). 1\u756a\u76ee\u304b\u3089N\u756a\u76ee\u307e\u3067\u306e\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u306e\u6570\u5217\u3092 Fib \u30012\u756a\u76ee\u304b\u3089N + 1\u756a\u76ee\u307e\u3067\u306e\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u306e\u6570\u5217\u3092 Fib2 \u30013\u756a\u76ee\u304b\u3089N + 2\u756a\u76ee\u307e\u3067\u306e\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u306e\u6570\u5217\u3092 Fib\u2026","image_url":null,"url":"https://blog.emattsan.org/entry/20160303/1457005298","version":"1.0","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.emattsan.org%2Fentry%2F20160303%2F1457005298\" title=\" \u3082\u3063\u3068\u6c17\u8efd\u306b Prolog \u3067\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u5217 - \u30a8\u30f3\u30b8\u30cb\u30a2\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u7684\u611b\u60c5\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_url":"https://blog.emattsan.org/","blog_title":"\u30a8\u30f3\u30b8\u30cb\u30a2\u306e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u7684\u611b\u60c5"}