{"categories":["\u30e2\u30ce\u30a4\u30c9\u7684\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0"],"version":"1.0","title":"\u30e2\u30ce\u30a4\u30c9\u7684\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0(4)","blog_title":"\u975e\u5c02\u9580\u7684\u30b7\u30f3\u30ae\u30e5\u30e9\u30ea\u30c6\u30a3\u30fc\u7814\u7a76\u6240","image_url":"https://m.media-amazon.com/images/I/51q3F50cS+L._SL500_.jpg","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F12%2F24%2F010915\" title=\"\u30e2\u30ce\u30a4\u30c9\u7684\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0(4) - \u975e\u5c02\u9580\u7684\u30b7\u30f3\u30ae\u30e5\u30e9\u30ea\u30c6\u30a3\u30fc\u7814\u7a76\u6240\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","height":"190","author_url":"https://blog.hatena.ne.jp/computeralgebra/","width":"100%","author_name":"computeralgebra","description":"Prolog \u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u4ee3\u6570\u7684\u306b\u8868\u3059\u65b9\u6cd5\u3092 ChatGPT \u3067\u8abf\u3079\u307e\u3057\u305f\u3002 \u5165\u529b: Prolog \u306e\u9805\u3092\u4ee3\u6570\u7684\u69cb\u9020\u3067\u8868\u3057\u3066\u304f\u3060\u3055\u3044 \u7d50\u679c: Prolog \u306e\u9805\u306f\u3001\u4ee3\u6570\u7684\u69cb\u9020\u3068\u3057\u3066\u8868\u73fe\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u969b\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u5f62\u5f0f\u7684\u306a\u8a18\u8ff0\u304c\u9069\u3057\u3066\u3044\u307e\u3059\u3002 Prolog \u306e\u9805\u306e\u4ee3\u6570\u7684\u8868\u73fe Prolog \u306e\u9805\u306f\u4ee5\u4e0b\u306e 3 \u3064\u306e\u8981\u7d20\u3067\u69cb\u6210\u3055\u308c\u307e\u3059\uff1a 1. \u5b9a\u6570 (Constants): \u5177\u4f53\u7684\u306a\u5024 (\u4f8b: a, 42)\u3002 2. \u5909\u6570 (Variables): \u672a\u77e5\u306e\u5024\u3092\u8868\u3059 (\u4f8b: X, Y)\u3002 3. \u8907\u5408\u9805 (Compound Terms): \u95a2\u6570\u8a18\u53f7\u3068\u9805\u306e\u30ea\u30b9\u30c8\u304b\u3089\u306a\u308b (\u4f8b: f(a, X))\u3002\u3053\u308c\u3092\u4ee3\u2026","blog_url":"https://computeralgebra.hatenablog.com/","published":"2024-12-24 01:09:15","url":"https://computeralgebra.hatenablog.com/entry/2024/12/24/010915","type":"rich"}