Prolog를 Emacs로 작성해보십시오.

6117 단어 Prolog

설치 절차



데비안/버스터로 확인
$ sudo apt-get install swi-prolog
$ prolog --version
SWI-Prolog version 8.0.2 for x86_64-linux

Emacs로 대화 환경 시작



참고 : Prologue: Prolog를 이동하려면
  • Emacs를 시작한 상태에서 "M-x run-prolog"를하면 대화 환경이 시작됩니다
  • prolog는 "?-"가 프롬프트 같다

  • 샘플 프로그램
    ?- write(hello).
    hello
    true.
    
    ?- X is 2+2.
    X = 4.
    

    다음 이미지처럼 보입니다.


    Emacs에서 Prolog 작성 (설정)


  • 참고
  • Using SWI-Prolog with GNU Emacs
  • Prolog Mode for Emacs
  • htps : // 기주 b. 코 m / 티 s인가 / 에아 p로 g


  • 데비안의 경우 이미 prolog-mode가 들어 있다고 생각되므로 다음과 같이 ediprolog를 설정해보십시오.
  • ~/.emacs
  • ;; prolog
    (load "~/.emacs.d/prolog")
    
  • ~/.emacs.d/prolog.el

  • htps //w w. 메타 ゔ ぇ l. 아 t/에ぢp로ぉg/ 을 참고로 하고 있다

  • (autoload 'run-prolog "prolog" "Start a Prolog sub-process." t)
    (autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
    (autoload 'mercury-mode "prolog" "Major mode for editing Mercury programs." t)
    (setq prolog-system 'swi)
    (setq auto-mode-alist (append '(("\\.pl$" . prolog-mode)
                                    ("\\.m$" . mercury-mode))
                                  auto-mode-alist))
    
    (unless (package-installed-p 'ediprolog)
      (package-refresh-contents) (package-install 'ediprolog))
    (require 'ediprolog)
    (setq ediprolog-system 'swi)
    (global-set-key "\C-c\C-e" 'ediprolog-dwim)
    

    Emacs에서 Prolog 쓰기



    마지막으로 간단한 Prolog 프로그램을 작성하고 ediprolog를 실행해보십시오.
    % member(X,List): XはリストLの要素である
    member(X, [X|_]).
    member(X, [_|L]) :- member(X, L).
    
    ?- member(a,[a,b,c]).   <-- .」まで打ったら「C-c C-e」と打ち込むと下に結果が出る
    %@ true 
    

    좋은 웹페이지 즐겨찾기