{"title":"Mercury \u5165\u9580 (6) \u6e96\u6c7a\u5b9a\u7684\u306a\u8ff0\u8a9e\u3068\u975e\u6c7a\u5b9a\u7684\u306a\u8ff0\u8a9e","url":"https://mercury-memo.hatenablog.com/entry/2013/07/06/075429","height":"190","provider_name":"Hatena Blog","published":"2013-07-06 07:54:29","description":"\u6e96\u6c7a\u5b9a\u7684 (semidet) \u3053\u308c\u307e\u3067\u5b9a\u7fa9\u3057\u305f\u8ff0\u8a9e\u306f\uff0c\u6c7a\u5b9a\u6027\u306bdet\u3092\u6307\u5b9a\u3057\u3066\u304a\u308a\uff0c \u5fc5\u305a1\u3064\u3060\u3051\u7d50\u679c\u3092\u8fd4\u3057\uff0c\u5931\u6557\u3059\u308b\u3053\u3068\u306e\u306a\u3044\u8ff0\u8a9e\u3067\u3057\u305f\uff0e \u3053\u3053\u3067\u306f\uff0c\u6210\u529f\u3059\u308c\u30701\u3064\u5024\u3092\u8fd4\u3059\u304c\uff0c\u5931\u6557\u3059\u308b\u53ef\u80fd\u6027\u3082\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3092\u8868\u3059 semidet\u3092\u6c7a\u5b9a\u6027\u306b\u6301\u3063\u305f\u8ff0\u8a9e\u3092\u4f7f\u3063\u3066\u307f\u307e\u3059\uff0e \u4f8b: \u30ea\u30b9\u30c8\u306e\u5148\u982d\u8981\u7d20\u3092\u8fd4\u3059\u8ff0\u8a9e \u4ee5\u4e0b\u306f\u30ea\u30b9\u30c8\u306e\u5148\u982d\u8981\u7d20\u3092\u8fd4\u3059\u8ff0\u8a9e\u3067\u3059\uff0e :- pred myhead(list(T)::in, T::out) is semidet. myhead([X | _], X). \u30ea\u30b9\u30c8\u304c\u7a7a\u306e\u5834\u5408\u306f\uff0c\u5148\u982d\u8981\u7d20\u3092\u53d6\u308a\u51fa\u3059\u3053\u3068\u304c\u3067\u304d\u306a\u3044\u306e\u3067\u5931\u6557\u3057\u307e\u3059\uff0e \u6c7a\u5b9a\u6027\u3092semidet\u304b\u3089det\u306b\u66f8\u304d\u63db\u3048\u308b\u3068\uff0c\u30b3\u30f3\u2026","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmercury-memo.hatenablog.com%2Fentry%2F2013%2F07%2F06%2F075429\" title=\"Mercury \u5165\u9580 (6) \u6e96\u6c7a\u5b9a\u7684\u306a\u8ff0\u8a9e\u3068\u975e\u6c7a\u5b9a\u7684\u306a\u8ff0\u8a9e - Mercury \u52c9\u5f37\u30e1\u30e2\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","categories":["Mercury \u5165\u9580"],"type":"rich","author_url":"https://blog.hatena.ne.jp/lambdataro/","blog_title":"Mercury \u52c9\u5f37\u30e1\u30e2","author_name":"lambdataro","image_url":null,"provider_url":"https://hatena.blog","width":"100%","blog_url":"https://mercury-memo.hatenablog.com/"}