{"id":5906,"date":"2016-11-14T09:00:40","date_gmt":"2016-11-14T00:00:40","guid":{"rendered":"http:\/\/sitest.jp\/blog\/?p=5906"},"modified":"2017-01-31T18:28:54","modified_gmt":"2017-01-31T09:28:54","slug":"prolog%e3%81%a8%e8%ab%96%e7%90%86%e5%ad%a6%e3%81%a8%e4%ba%ba%e5%b7%a5%e7%9f%a5%e8%83%bd%e3%81%a8","status":"publish","type":"post","link":"https:\/\/sitest.jp\/blog\/?p=5906","title":{"rendered":"Prolog\u3068\u8ad6\u7406\u5b66\u3068\u4eba\u5de5\u77e5\u80fd\u3068"},"content":{"rendered":"

\u3053\u3093\u306b\u3061\u306f\u3001\u30d7\u30ed\u30c0\u30af\u30c8\u958b\u767a\u30c1\u30fc\u30e0 \u30a8\u30f3\u30b8\u30cb\u30a2\u306e\u68ee\u6c38\u3067\u3059\u3002<\/p>\n

\u5148\u65e5\u306e\u8a18\u4e8b\u300c\u4eba\u5de5\u77e5\u80fd\u306e\u958b\u767a\u3068\u76f8\u6027\u306e\u826f\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e3\u9078<\/a>\u300d\u3067\u306f\u3001\u4eba\u5de5\u77e5\u80fd\u3068\u76f8\u6027\u304c\u826f\u3044\u3068\u3055\u308c\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u3057\u3066LISP\u3001Prolog\u3001\u305d\u3057\u3066\u5f0a\u793e\u306eSiTest\u3067\u7528\u3044\u3089\u308c\u3066\u3044\u308bLiveScript\u3092\u7d39\u4ecb\u3044\u305f\u3057\u307e\u3057\u305f\u3002<\/p>\n

\u8a18\u4e8b\u306e\u6700\u5f8c\u306b\u300c\u4ed6\u306b\u3082\u4eba\u5de5\u77e5\u80fd\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u306f\u69d8\u3005\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u304c\u4f7f\u7528\u3055\u308c\u3066\u304a\u308a\u307e\u3059\u300d\u3068\u66f8\u304d\u307e\u3057\u305f\u304c\u3001\u305d\u306e\u4e2d\u3067\u3082\u4eca\u56de\u306fProlog\u306b\u30b9\u30dd\u30c3\u30c8\u3092\u5f53\u3066\u3001\u8ad6\u7406\u5b66\u3001\u4eba\u5de5\u77e5\u80fd\u3068\u306e\u95a2\u9023\u6027\u3001\u305d\u3057\u3066\u6700\u8fd1\u306e\u52d5\u5411\u3084\u4eca\u5f8c\u306e\u53ef\u80fd\u6027\u3092\u8003\u5bdf\u3057\u3066\u307e\u3044\u308a\u307e\u3059\u3002
\n<\/p>\n

\n

Prolog\u3068\u306f<\/h3>\n<\/div>\n

Prolog\u3068\u306f\u30011972\u5e74\u3054\u308d\u306b\u30d5\u30e9\u30f3\u30b9\u306e\u30a2\u30e9\u30f3\u30fb\u30ab\u30eb\u30e1\u30e9\u30a6\u30a2\u30fc\u3068\u30d5\u30a3\u30ea\u30c3\u30d7\u30fb\u30eb\u30fc\u30bb\u30eb\u306b\u3088\u3063\u3066\u8003\u6848\u3055\u308c\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3059\u3002\u8a9e\u6e90\u306f\u30d5\u30e9\u30f3\u30b9\u8a9e\u3067\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u8868\u3059\u300cpro<\/b>grammation en log<\/b>ique\u300d(\u82f1\u8a9e\u306b\u3059\u308b\u3068\u300cprogramming in logic\u300d)\u306b\u7531\u6765\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n

\"Prolog\u30a4\u30e1\u30fc\u30b8\"<\/p>\n

\u305d\u306e\u540d\u524d\u306e\u7531\u6765\u306e\u901a\u308a\u3001Prolog\u306f\u8ad6\u7406\u5f0f\u3092\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5f62\u306b\u3057\u305f\u69cb\u6587\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n

\u4f8b\u3048\u3070\u3001\u300c\u5947\u6570\u306f\u6570\u5b57\u3067\u3042\u308b\u300d\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n

number :- odd.<\/code><\/pre>\n
\u300c\u6570\u5b57\u2190\u5947\u6570\u300d\u3092\u82f1\u6570\u5b57\u3068\u8a18\u53f7\u306e\u307f\u306e\u8868\u8a18\u306b\u3059\u308b\u3068\u4e0a\u8a18\u306e\u3088\u3046\u306b\u306a\u308b\u3068\u8003\u3048\u308c\u3070\u308f\u304b\u308a\u3084\u3059\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002
\n\u540c\u69d8\u306b\u300c1\u306f\u5947\u6570\u3067\u3042\u308b\u300d\u306f<\/p>\n
odd :- 1.<\/code><\/pre>\n
\u3068\u8868\u8a18\u3067\u304d\u307e\u3059\u3002
\n\u305d\u3053\u3067\u30011\u306f\u6570\u5b57\u3067\u3042\u308b\u304b\u3069\u3046\u304b\u3092Prolog\u306e\u30d7\u30ed\u30f3\u30d7\u30c8\u3067\u5165\u529b\u3059\u308b\u3068<\/p>\n
?- number(1).\ntrue\n<\/code><\/pre>\n
\u3068\u3001true(\u771f)\u304c\u8fd4\u3055\u308c\u307e\u3059\u3002<\/p>\n
\u6b21\u306b\u3001\u5909\u6570X\u306b\u5165\u308b\u7b54\u3048\u3092\u63a2\u7d22\u3059\u308b\u30b5\u30f3\u30d7\u30eb\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002
\n\u732b2\u5339\u306btama\u3001mike\u3001\u72ac2\u5339\u306btaro\u3001pochi\u3068\u540d\u524d\u304c\u4ed8\u3051\u3089\u308c\u3066\u3044\u308b\u3053\u3068\u3092\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9a\u7fa9\u3057\u307e\u3059\u3002<\/p>\n
name(cat,tama).\nname(cat,mike).\nname(dog,taro).\nname(dog,pochi).<\/code><\/pre>\n
\u30d7\u30ed\u30f3\u30d7\u30c8\u3067X\u306b\u5165\u308b\u732b\u306e\u540d\u524d\u3092\u8abf\u3079\u308b\u306b\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5165\u529b\u3057\u307e\u3059\u3002<\/p>\n
?- name(cat,X).\nX = tama;\nX = mike.\n<\/code><\/pre>\n
\u4e00\u3064\u76ee\u306e\u7b54\u3048\u300ctama\u300d\u304c\u51fa\u305f\u6642\u306b\u30bb\u30df\u30b3\u30ed\u30f3\uff0bEnter\u3092\u5165\u529b\u3059\u308b\u3068\u3001\u518d\u3073\u8cea\u554f\u90e8\u306b\u623b\u3063\u3066(\u3053\u308c\u3092\u30d0\u30c3\u30af\u30c8\u30e9\u30c3\u30af\u3068\u8a00\u3044\u307e\u3059)\u5225\u306e\u7b54\u3048\u3092\u63a2\u3057\u3001\u300cmike\u300d\u3092\u51fa\u529b\u3057\u307e\u3059\u3002<\/p>\n
\u3053\u306e\u3088\u3046\u306b\u3001\u8ad6\u7406\u5b66\u304a\u3088\u3073\u63a2\u7d22\u3092\u7528\u3044\u3066\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u51e6\u7406\u3092\u884c\u3046\u305f\u3081\u3001\u30a8\u30ad\u30b9\u30d1\u30fc\u30c8\u30b7\u30b9\u30c6\u30e0\u306a\u3069\u306e\u77e5\u8b58\u51e6\u7406\u3092\u4e2d\u5fc3\u306b\u53e4\u304f\u304b\u3089Prolog\u3092\u7528\u3044\u305f\u7814\u7a76\u304c\u884c\u308f\u308c\u3001\u5927\u5b66\u7b49\u306e\u60c5\u5831\u57fa\u790e\u306e\u6388\u696d\u3067\u5b66\u3070\u308c\u308b\u65b9\u3082\u304a\u3089\u308c\u308b\u304b\u3068\u601d\u3044\u307e\u3059(\u5b9f\u969b\u79c1\u3082\u5927\u5b66\u3067Prolog\u3092\u7528\u3044\u305f\u51e6\u7406\u3092\u6388\u696d\u3067\u5b66\u3073\u307e\u3057\u305f)\u3002<\/p>\n
\n
\u8ad6\u7406\u5b66\u3068\u4eba\u5de5\u77e5\u80fd<\/h3>\n<\/div>\n
\u6700\u3082\u7c21\u5358\u306aProlog\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u4f8b\u3092\u793a\u3057\u307e\u3057\u305f\u304c\u3001\u3053\u306e\u3088\u3046\u306a\u300c\u8ad6\u7406\u5b66\u300d\u306f\u306f\u308b\u304b\u6614\u3001\u305d\u308c\u3053\u305d\u53e4\u4ee3\u30ae\u30ea\u30b7\u30e3\u306e\u6642\u4ee3\u304b\u3089\u5b58\u5728\u3059\u308b\u6700\u3082\u53e4\u5178\u7684\u306a\u601d\u8003\u65b9\u6cd5\u306e\u4e00\u3064\u3067\u3042\u308a\u307e\u3057\u305f\u3002\u5f93\u3044\u3001\u4eba\u5de5\u77e5\u80fd\u7814\u7a76\u3082\u8ad6\u7406\u5b66\u7684\u306a\u601d\u8003\u304b\u3089\u59cb\u307e\u3063\u305f\u3068\u8a00\u3063\u3066\u3082\u904e\u8a00\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n
\u4eba\u5de5\u77e5\u80fd\u306b\u3088\u308b\u63a8\u8ad6\u3084\u5b66\u7fd2\u306b\u306f\u3044\u308d\u3044\u308d\u306a\u65b9\u6cd5\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u305d\u306e\u3044\u305a\u308c\u3082\u8ad6\u7406\u7684\u306a\u601d\u8003\u306b\u57fa\u3065\u3044\u3066\u3044\u307e\u3059\u3002\u4eba\u9593\u306f\u300c\u3048\u3044\u3084\u3042\u3063\u300d\u3068\u7b54\u3048\u3092\u51fa\u3059\u3053\u3068\u3082\u3042\u308a\u307e\u3059\u304c\u3001\u4eba\u5de5\u77e5\u80fd\u306e\u5834\u5408\u306f(\u4eca\u306e\u3068\u3053\u308d)\u305d\u306e\u3088\u3046\u306a\u3053\u3068\u306f\u306a\u304f\u8ad6\u7406\u7684\u306b\u7b54\u3048\u3092\u5c0e\u304f\u306e\u3067\u3001Prolog\u306b\u3088\u308b\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306f\u3042\u308b\u610f\u5473\u4eba\u5de5\u77e5\u80fd\u306e\u57fa\u672c\u3068\u8a00\u3063\u3066\u3082\u826f\u3044\u3067\u3057\u3087\u3046\u3002<\/p>\n
\n
Prolog\u3001\u8ad6\u7406\u5b66\u3001\u305d\u3057\u3066\u4eba\u5de5\u77e5\u80fd\u306e\u4eca\u5f8c<\/h3>\n<\/div>\n
\u5b66\u8853\u3001\u7814\u7a76\u5206\u91ce\u3067\u306f\u76db\u3093\u3060\u3063\u305f(\u79c1\u3082\u5927\u5b66\u6642\u4ee3\u306b\u3053\u306e\u8a00\u8a9e\u3092\u77e5\u308a\u307e\u3057\u305f)\u3082\u306e\u306e\u5b9f\u7528\u6027\u3068\u3057\u3066\u306f\u306a\u304b\u306a\u304b\u65e5\u306e\u76ee\u3092\u898b\u308b\u3053\u3068\u304c\u306a\u304b\u3063\u305fProlog\u3067\u3059\u304c\u3001\u8fd1\u5e74IBM\u306eWatson\u3084\u30bd\u30d5\u30c8\u30d0\u30f3\u30af\u306ePepper\u3067\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3\u306b\u63a1\u7528\u3055\u308c\u305f\u3068\u306e\u8a71\u984c\u3082\u51fa\u3066\u304a\u308a\u518d\u3073\u6ce8\u76ee\u5ea6\u304c\u4e0a\u304c\u3063\u3066\u304d\u305f\u3068\u8a00\u3048\u308b\u3067\u3057\u3087\u3046\u3002<\/p>\n
\u4eca\u5f8c\u3082\u8ad6\u7406\u7684\u601d\u8003\u3092\u8981\u3059\u308b\u3068\u3053\u308d\u3001\u77e5\u8b58\u304b\u3089\u306e\u63a8\u8ad6\u3092\u8981\u3059\u308b\u3068\u3053\u308d\u3067\u7528\u3044\u3089\u308c\u3066\u3044\u304f\u53ef\u80fd\u6027\u306f\u5341\u5206\u3042\u308b\u306e\u3067\u3001Prolog\u306e\u5b58\u5728\u3092\u982d\u306b\u5165\u308c\u3066\u304a\u304f\u3068\u826f\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"
\u3053\u3093\u306b\u3061\u306f\u3001\u30d7\u30ed\u30c0\u30af\u30c8\u958b\u767a\u30c1\u30fc\u30e0 \u30a8\u30f3\u30b8\u30cb\u30a2\u306e\u68ee\u6c38\u3067\u3059\u3002 \u5148\u65e5\u306e\u8a18\u4e8b\u300c\u4eba\u5de5\u77e5\u80fd\u306e\u958b\u767a\u3068\u76f8\u6027\u306e\u826f\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e3\u9078\u300d\u3067\u306f\u3001\u4eba\u5de5\u77e5\u80fd\u3068\u76f8\u6027\u304c\u826f\u3044\u3068\u3055\u308c\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u3057\u3066LISP\u3001Prolog\u3001\u305d\u3057\u3066\u5f0a\u793e\u306eSiTest\u3067\u7528\u3044\u3089\u308c\u3066\u3044\u308bLiveScript\u3092\u7d39\u4ecb\u3044\u305f\u3057\u307e\u3057\u305f\u3002 \u8a18\u4e8b\u306e\u6700\u5f8c\u306b\u300c\u4ed6\u306b\u3082\u4eba\u5de5\u77e5\u80fd\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u306f\u69d8\u3005\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u304c\u4f7f\u7528\u3055\u308c\u3066\u304a\u308a\u307e\u3059\u300d\u3068\u66f8\u304d\u307e\u3057\u305f\u304c\u3001\u305d\u306e\u4e2d […]<\/p>\n","protected":false},"author":6,"featured_media":6098,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[25,27],"tags":[],"acf":false,"_links":{"self":[{"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/posts\/5906"}],"collection":[{"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/comments?post=5906"}],"version-history":[{"count":9,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/posts\/5906\/revisions"}],"predecessor-version":[{"id":8078,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/posts\/5906\/revisions\/8078"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/media\/6098"}],"wp:attachment":[{"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/media?parent=5906"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/categories?post=5906"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sitest.jp\/blog\/wp-json\/wp\/v2\/tags?post=5906"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}