{"blog_title":"\u65e5\u8a18","image_url":"https://images-fe.ssl-images-amazon.com/images/I/41j7Jf4szdL._SL160_.jpg","categories":["Tech","Prolog"],"url":"https://koichik.hatenadiary.org/entry/20050926/1127755832","title":" Prolog \u5199\u7d4c\u8a18 \u305d\u306e 47 aeq/3","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoichik.hatenadiary.org%2Fentry%2F20050926%2F1127755832\" title=\" Prolog \u5199\u7d4c\u8a18 \u305d\u306e 47 aeq/3 - \u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","version":"1.0","provider_name":"Hatena Blog","blog_url":"https://koichik.hatenadiary.org/","author_url":"https://blog.hatena.ne.jp/koichik/","published":"2005-09-26 02:30:32","width":"100%","height":"190","provider_url":"https://hatena.blog","author_name":"koichik","description":"(\u307b\u307c) \u6bce\u65e5\u6de1\u3005\u3068 Prolog \u3092\u5199\u7d4c\u3057\u307e\u3059\uff0e\u5143\u30cd\u30bf\u306f\u3053\u3061\u3089\uff0eProlog\u30e6\u30fc\u30c6\u30a3\u30ea\u30c6\u30a3\u30e9\u30a4\u30d6\u30e9\u30ea\u4f5c\u8005: \u30dc\u30b0\u30c0\u30f3\u30d5\u30a3\u30ea\u30d4\u30c3\u30c1,\u4e2d\u5cf6\u8aa0,\u4f0a\u85e4\u54f2\u90ce\u51fa\u7248\u793e/\u30e1\u30fc\u30ab\u30fc: \u6d77\u6587\u5802\u51fa\u7248\u767a\u58f2\u65e5: 1990/08\u30e1\u30c7\u30a3\u30a2: \u5358\u884c\u672c\u8cfc\u5165: 4\u4eba \u30af\u30ea\u30c3\u30af: 33\u56de\u3053\u306e\u5546\u54c1\u3092\u542b\u3080\u30d6\u30ed\u30b0 (68\u4ef6) \u3092\u898b\u308b\u306a\u306b\u3052\u306b\u6628\u65e5\u3067\u300c2 \u7ae0 \u96c6\u5408\u64cd\u4f5c\u300d\u3092\u7d42\u3048\u3066\u3057\u307e\u3044\u307e\u3057\u305f\uff0e\u307e\u3068\u3081\u3066\u4e00\u6c17\u3068\u3044\u3046\u611f\u3058\uff0e \u305d\u3093\u306a\u308f\u3051\u3067 (\u3069\u3093\u306a\u308f\u3051\u3067\uff1f)\uff0c\u6b21\u306f\u300c3 \u7ae0 \u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u6587\u5b57\u5217\u306e\u6bd4\u8f03\u300d\u3078\u7a81\u5165\u3067\u3059\uff0e \u4eca\u65e5\u306f aeq/2 \u3092\u5199\u7d4c\u3057\u307e\u3059\uff0e \u89e3\u8aac aeq(X, Y) \u306f\u30a2\u30c8\u30e0 X \u3068\u30a2\u30c8\u30e0 Y \u304c\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u6587\u5b57\u5217\u3068\u3057\u3066\u7b49\u3057\u3044\u3068\u304d\u306b\u6210\u529f\u3059\u2026","type":"rich"}