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를 이동하려면
$ sudo apt-get install swi-prolog
$ prolog --version
SWI-Prolog version 8.0.2 for x86_64-linux
샘플 프로그램
?- write(hello).
hello
true.
?- X is 2+2.
X = 4.
다음 이미지처럼 보입니다.
Emacs에서 Prolog 작성 (설정)
데비안의 경우 이미 prolog-mode가 들어 있다고 생각되므로 다음과 같이 ediprolog를 설정해보십시오.
;; prolog
(load "~/.emacs.d/prolog")
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
Reference
이 문제에 관하여(Prolog를 Emacs로 작성해보십시오.), 우리는 이곳에서 더 많은 자료를 발견하고 링크를 클릭하여 보았다 https://qiita.com/hiroyuki-nagata/items/a5de8773f43ad141f5d6텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
우수한 개발자 콘텐츠 발견에 전념 (Collection and Share based on the CC Protocol.)