{"id":14,"date":"2009-09-29T01:26:56","date_gmt":"2009-09-28T22:26:56","guid":{"rendered":"http:\/\/yesybl.org\/blogcn\/?p=14"},"modified":"2009-09-29T01:26:56","modified_gmt":"2009-09-28T22:26:56","slug":"an-useful-emacs-lisp-program-for-interactiving-writing-prolog-code","status":"publish","type":"post","link":"https:\/\/www.yesybl.com\/?p=14","title":{"rendered":"An useful emacs lisp program for interactiving writing Prolog code."},"content":{"rendered":"

\u4eca\u5929\u53d1\u73b0\u4e00\u4e2a\u597d\u7528\u7684EMACS Lisp\u7a0b\u5e8f\uff0c\u8be5\u7a0b\u5e8f\u53ef\u4ee5\u6781\u5927\u7684\u63d0\u9ad8emacs\u7f16\u5199SWI-Prolog\u7a0b\u5e8f\u65f6\u7684\u65b9\u4fbf\u5ea6\uff0c\u5f53\u5199\u5b8c\u4e00\u4e9bfacts\u548crules\u540e\uff0c\u4e0d\u7528\u5207\u6362\u5230SWI-Prolog \u4e2d\u53bb consult and check \u521a\u5199\u597d\u7684\u4ee3\u7801. \u53ef\u4ee5\u76f4\u63a5\u5728emacs\u4e2d\u5f53\u524d\u7684buffer\u4e2d\u6d4b\u8bd5\u8fd0\u884c\u6548\u679c\u3002\u975e\u5e38\u65b9\u4fbf\u3002<\/p>\n

\u8be5Lisp\u7a0b\u5e8f\u53eb\u505aediprolog 0.9y — Emacs Does Interactive Prolog.
\n\u5b89\u88c5:<\/strong><\/p>\n

    \n
  1. \u628aediprolog.el\u6587\u4ef6\u62f7\u8d1d\u5230\u4f60\u7684emacs\u7684lisp\u7a0b\u5e8f\u5e93\u76ee\u5f55\u4e0b\u3002Ubuntu\u7528\u6237\u53ef\u4ee5\u76f4\u63a5\u5c06\u8be5\u6587\u4ef6\u62f7\u8d1d\u5230\/etc\/emacs\/site-start.d\/\u4e0b\uff0c\u7136\u540e\u5c06\u6587\u4ef6\u540d\u524d\u9762\u52a0\u4e00\u4e2a\u6570\u5b57\u524d\u7f00\uff0c\u6bd4\u598260ediprolog.el\u3002\u8fd9\u6837emacs\u5728\u542f\u52a8\u7684\u65f6\u5019\u5c31\u4f1a\u81ea\u52a8\u8bfb\u53d6\u8be5lisp\u6587\u4ef6\u4e86\u3002<\/li>\n
  2. \u4fee\u6539\u4f60\u7684.emacs\u6587\u4ef6\uff0c\u52a0\u5165
    \n(require ‘ediprolog)
    \n(global-set-key [f10] ‘ediprolog-dwim)<\/li>\n
  3. \u91cd\u65b0\u542f\u52a8\u5e76\u4e14\u8f93\u5165
    \nM-x customize-group RET ediprolog RET
    \n\u6839\u636e\u4f60\u7684\u9700\u8981\u4fee\u6539\u76f8\u5e94\u7684\u8bbe\u7f6e\uff0c\u4e00\u822c\u6765\u8bf4\u4e0d\u7528\u4fee\u6539\u4e86\u3002<\/li>\n<\/ol>\n

    \u7528\u6cd5\uff1a<\/strong>
    \n\u5f53\u4f60\u5199\u4e86\u4e00\u90e8\u5206\u7a0b\u5e8f\u540e\uff0c\u6bd4\u5982\u8bf4\u5982\u4e0b\u7684\u7a0b\u5e8f\uff1a<\/p>\n

    \n%% The facts\nmale(yanghuai).\nmale(zhangxiangzhen).\nmail(yangbinglin).\nfemale(zhanghuiqing).\nfemale(yangjingwen).\n\nparent(zhangxiangzhen, yanghuai).\nparent(zhangxiangzhen, zhanghuiqing).\nparent(yanghuai, yangbinglin).\nparent(yanghuai, yangjingwen).\nparent(zhanghuiqing, yangbinglin).\nparent(zhanghuiqing, yangjingwen).\n\n%% The rules\ngrandfather(GrandFather, GrandSon):-\nmale(GrandFather),\nparent(GrandFather, Child),\nparent(Child, GrandSon).\n<\/pre>\n
    \u7136\u540e\uff0c\u4f60\u5c31\u53ef\u4ee5\u76f4\u63a5\u5728\u8be5\u7f16\u8f91\u533a\u57df\u5185\u8f93\u5165
    \n%?- grandfather(X,Y). \uff08\u6ce8\u610f\uff0c\u524d\u9762\u7684%?-\u540e\u9762\u6709\u4e00\u4e2a\u7a7a\u683c\uff09
    \n\u63a5\u7740\u6309\u4e0bF10, SWI\uff0dProlog\u5c31\u56de\u81ea\u52a8\u5c06\u7a0b\u5e8f\u8fd0\u884c\u7ed3\u679c\u8f93\u51fa\u5728\u5f53\u524d\u7a97\u53e3\uff0c\u4ee5\u4fbf\u67e5\u770b\u7a0b\u5e8f\u662f\u5426\u662f\u6309\u8bbe\u8ba1\u8fd0\u884c\u7684\u3002\u5728\u6211\u7684\u4f8b\u5b50\u4e2d\u4f1a\u8f93\u51fa\u4ee5\u4e0b\u5185\u5bb9\uff1a
    \n%?- grandfather(X,Y).
    \n%@
    \n%@ X = zhangxiangzhen,
    \n%@ Y = yangbinglin ;
    \n%@
    \n%@ X = zhangxiangzhen,
    \n%@ Y = yangjingwen ;
    \n\u57fa\u672c\u7528\u6cd5\u8bf4\u5b8c\u4e86\uff0c\u5176\u5b9e\u6240\u6709\u7684\u4f7f\u7528\u65b9\u6cd5\u90fd\u5728\u8be5lisp\u7a0b\u5e8f\u5f00\u59cb\u7684\u6ce8\u91ca\u4e2d\uff0c\u81ea\u5df1\u770b\u770b\u4e5f\u5c31\u6e05\u695a\u4e86\u3002<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"
    \u4eca\u5929\u53d1\u73b0\u4e00\u4e2a\u597d\u7528\u7684EMACS Lisp\u7a0b\u5e8f\uff0c\u8be5\u7a0b\u5e8f\u53ef\u4ee5\u6781\u5927\u7684\u63d0\u9ad8emacs\u7f16\u5199SWI-Prolog\u7a0b\u5e8f\u65f6\u7684\u65b9\u4fbf\u5ea6\uff0c\u5f53\u5199\u5b8c\u4e00\u4e9bfacts\u548crules\u540e\uff0c\u4e0d\u7528\u5207\u6362\u5230SWI-Prolog \u4e2d\u53bb consult and check \u521a\u5199\u597d\u7684\u4ee3\u7801. \u53ef\u4ee5\u76f4\u63a5\u5728emacs\u4e2d\u5f53\u524d\u7684buffer\u4e2d\u6d4b\u8bd5\u8fd0\u884c\u6548\u679c\u3002\u975e\u5e38\u65b9\u4fbf\u3002 \u8be5Lisp\u7a0b\u5e8f\u53eb\u505aediprolog 0.9y — Emacs Does Interactive Prolog. \u5b89\u88c5: \u628aediprolog.el\u6587\u4ef6\u62f7\u8d1d\u5230\u4f60\u7684emacs\u7684lisp\u7a0b\u5e8f\u5e93\u76ee\u5f55\u4e0b\u3002Ubuntu\u7528\u6237\u53ef\u4ee5\u76f4\u63a5\u5c06\u8be5\u6587\u4ef6\u62f7\u8d1d\u5230\/etc\/emacs\/site-start.d\/\u4e0b\uff0c\u7136\u540e\u5c06\u6587\u4ef6\u540d\u524d\u9762\u52a0\u4e00\u4e2a\u6570\u5b57\u524d\u7f00\uff0c\u6bd4\u598260ediprolog.el\u3002\u8fd9\u6837emacs\u5728\u542f\u52a8\u7684\u65f6\u5019\u5c31\u4f1a\u81ea\u52a8\u8bfb\u53d6\u8be5lisp\u6587\u4ef6\u4e86\u3002 \u4fee\u6539\u4f60\u7684.emacs\u6587\u4ef6\uff0c\u52a0\u5165 (require ‘ediprolog) (global-set-key [f10] ‘ediprolog-dwim) \u91cd\u65b0\u542f\u52a8\u5e76\u4e14\u8f93\u5165 M-x customize-group RET ediprolog RET \u6839\u636e\u4f60\u7684\u9700\u8981\u4fee\u6539\u76f8\u5e94\u7684\u8bbe\u7f6e\uff0c\u4e00\u822c\u6765\u8bf4\u4e0d\u7528\u4fee\u6539\u4e86\u3002 \u7528\u6cd5\uff1a \u5f53\u4f60\u5199\u4e86\u4e00\u90e8\u5206\u7a0b\u5e8f\u540e\uff0c\u6bd4\u5982\u8bf4\u5982\u4e0b\u7684\u7a0b\u5e8f\uff1a %% The facts male(yanghuai). male(zhangxiangzhen). mail(yangbinglin). female(zhanghuiqing). female(yangjingwen). parent(zhangxiangzhen, yanghuai). parent(zhangxiangzhen, zhanghuiqing). parent(yanghuai, yangbinglin). parent(yanghuai, yangjingwen). parent(zhanghuiqing, yangbinglin). parent(zhanghuiqing, yangjingwen). %% The rules […]<\/p>\n<\/a>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[],"tags":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/pa4z28-e","_links":{"self":[{"href":"https:\/\/www.yesybl.com\/index.php?rest_route=\/wp\/v2\/posts\/14"}],"collection":[{"href":"https:\/\/www.yesybl.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.yesybl.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.yesybl.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.yesybl.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=14"}],"version-history":[{"count":0,"href":"https:\/\/www.yesybl.com\/index.php?rest_route=\/wp\/v2\/posts\/14\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.yesybl.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=14"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.yesybl.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=14"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.yesybl.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=14"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}