Mercurial > emacs
annotate lisp/progmodes/prolog.el @ 105170:f8ba8d6fd250
Fix typos.
* allout.el
* dired-aux.el
* dired-x.el
* epa-file.el
* ps-print.el
* shell.el
* vc-hooks.el
* vc-rcs.el
* vc-sccs.el
* vc.el
* view.el
* wdired.el
* emacs-lisp/authors.el
* net/dig.el
* net/socks.el
* net/zeroconf.el
* obsolete/vc-mcvs.el
* progmodes/gdb-mi.el
* progmodes/grep.el
* progmodes/idlw-help.el
* progmodes/idlw-shell.el
* progmodes/idlwave.el
* progmodes/inf-lisp.el
* textmodes/bibtex.el
* textmodes/ispell.el
* textmodes/reftex-toc.el
author | Juanma Barranquero <lekktu@gmail.com> |
---|---|
date | Thu, 24 Sep 2009 01:37:14 +0000 |
parents | 5986db97372e |
children | 1d1d5d9bd884 |
rev | line source |
---|---|
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
1 ;;; prolog.el --- major mode for editing and running Prolog under Emacs |
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
2 |
101002
3b3c7e10cd97
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
3 ;; Copyright (C) 1986, 1987, 2001, 2002, 2003, 2004, 2005, 2006, 2007, |
3b3c7e10cd97
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
4 ;; 2008, 2009 Free Software Foundation, Inc. |
845 | 5 |
17977 | 6 ;; Author: Masanobu UMEDA <umerin@mse.kyutech.ac.jp> |
814
38b2499cb3e9
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
7 ;; Keywords: languages |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
8 |
41 | 9 ;; This file is part of GNU Emacs. |
10 | |
94673
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
11 ;; GNU Emacs is free software: you can redistribute it and/or modify |
41 | 12 ;; it under the terms of the GNU General Public License as published by |
94673
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
13 ;; the Free Software Foundation, either version 3 of the License, or |
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
14 ;; (at your option) any later version. |
41 | 15 |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
94673
52b7a8c22af5
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
87649
diff
changeset
|
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
41 | 23 |
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
24 ;;; Commentary: |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
25 |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
26 ;; This package provides a major mode for editing Prolog. It knows |
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
27 ;; about Prolog syntax and comments, and can send regions to an inferior |
45608
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
28 ;; Prolog interpreter process. Font locking is tuned towards GNU Prolog. |
2308
f287613dfc28
Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
2307
diff
changeset
|
29 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
30 ;;; Code: |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
659
diff
changeset
|
31 |
65238
a372b82c546e
(comint-prompt-regexp): Add defvar.
Juanma Barranquero <lekktu@gmail.com>
parents:
64699
diff
changeset
|
32 (defvar comint-prompt-regexp) |
85510
e2eac01cf548
* progmodes/prolog.el: Undo previous change.
Dan Nicolaescu <dann@ics.uci.edu>
parents:
85451
diff
changeset
|
33 (defvar comint-process-echoes) |
65238
a372b82c546e
(comint-prompt-regexp): Add defvar.
Juanma Barranquero <lekktu@gmail.com>
parents:
64699
diff
changeset
|
34 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
35 (defgroup prolog nil |
64048
6182d0adade2
(prolog): Finish `defgroup' description with period.
Juanma Barranquero <lekktu@gmail.com>
parents:
62461
diff
changeset
|
36 "Major mode for editing and running Prolog under Emacs." |
66963
a11fdee52c05
Add :link (custom-group-link font-lock-faces) to defgroup.
Juri Linkov <juri@jurta.org>
parents:
65238
diff
changeset
|
37 :link '(custom-group-link :tag "Font Lock Faces group" font-lock-faces) |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
38 :group 'languages) |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
39 |
45608
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
40 |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
41 (defcustom prolog-program-name |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
42 (let ((names '("prolog" "gprolog" "swipl"))) |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
43 (while (and names |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
44 (not (executable-find (car names)))) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
45 (setq names (cdr names))) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
46 (or (car names) "prolog")) |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
47 "Program name for invoking an inferior Prolog with `run-prolog'." |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
48 :type 'string |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
49 :group 'prolog) |
41 | 50 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
51 (defcustom prolog-consult-string "reconsult(user).\n" |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
52 "(Re)Consult mode (for C-Prolog and Quintus Prolog). " |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
53 :type 'string |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
54 :group 'prolog) |
41 | 55 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
56 (defcustom prolog-compile-string "compile(user).\n" |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
57 "Compile mode (for Quintus Prolog)." |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
58 :type 'string |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
59 :group 'prolog) |
41 | 60 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
61 (defcustom prolog-eof-string "end_of_file.\n" |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
62 "String that represents end of file for Prolog. |
64072
db79be1bac82
(prolog-eof-string): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
64048
diff
changeset
|
63 When nil, send actual operating system end of file." |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
64 :type 'string |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
65 :group 'prolog) |
41 | 66 |
17414
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
67 (defcustom prolog-indent-width 4 |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
68 "Level of indentation in Prolog buffers." |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
69 :type 'integer |
f967f12c8ec8
Add defgroup's; use defcustom for user vars.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
70 :group 'prolog) |
41 | 71 |
45608
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
72 (defvar prolog-font-lock-keywords |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
73 '(("\\(#[<=]=>\\|:-\\)\\|\\(#=\\)\\|\\(#[#<>\\/][=\\/]*\\|!\\)" |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
74 0 font-lock-keyword-face) |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
75 ("\\<\\(is\\|write\\|nl\\|read_\\sw+\\)\\>" |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
76 1 font-lock-keyword-face) |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
77 ("^\\(\\sw+\\)\\s-*\\((\\(.+\\))\\)*" |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
78 (1 font-lock-function-name-face) |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
79 (3 font-lock-variable-name-face))) |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
80 "Font-lock keywords for Prolog mode.") |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
81 |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
82 (defvar prolog-mode-syntax-table |
41 | 83 (let ((table (make-syntax-table))) |
84 (modify-syntax-entry ?_ "w" table) | |
85 (modify-syntax-entry ?\\ "\\" table) | |
45608
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
86 (modify-syntax-entry ?/ ". 14" table) |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
87 (modify-syntax-entry ?* ". 23" table) |
41 | 88 (modify-syntax-entry ?+ "." table) |
89 (modify-syntax-entry ?- "." table) | |
90 (modify-syntax-entry ?= "." table) | |
91 (modify-syntax-entry ?% "<" table) | |
8217
a09642334f69
(prolog-mode-syntax-table): Make newline end comments.
Richard M. Stallman <rms@gnu.org>
parents:
2308
diff
changeset
|
92 (modify-syntax-entry ?\n ">" table) |
41 | 93 (modify-syntax-entry ?< "." table) |
94 (modify-syntax-entry ?> "." table) | |
95 (modify-syntax-entry ?\' "\"" table) | |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
96 table)) |
41 | 97 |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
98 (defvar prolog-mode-abbrev-table nil) |
41 | 99 (define-abbrev-table 'prolog-mode-abbrev-table ()) |
100 | |
101 (defun prolog-mode-variables () | |
102 (make-local-variable 'paragraph-separate) | |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
103 (setq paragraph-separate (concat "%%\\|$\\|" page-delimiter)) ;'%%..' |
41 | 104 (make-local-variable 'paragraph-ignore-fill-prefix) |
105 (setq paragraph-ignore-fill-prefix t) | |
20396 | 106 (make-local-variable 'imenu-generic-expression) |
58713
75d6f143fced
(prolog-mode-variables): Fix imenu-generic-expression.
Juri Linkov <juri@jurta.org>
parents:
53891
diff
changeset
|
107 (setq imenu-generic-expression '((nil "^\\sw+" 0))) |
41 | 108 (make-local-variable 'indent-line-function) |
109 (setq indent-line-function 'prolog-indent-line) | |
110 (make-local-variable 'comment-start) | |
111 (setq comment-start "%") | |
112 (make-local-variable 'comment-start-skip) | |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
113 (setq comment-start-skip "\\(?:%+\\|/\\*+\\)[ \t]*") |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
114 (make-local-variable 'comment-end-skip) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
115 (setq comment-end-skip "[ \t]*\\(\n\\|\\*+/\\)") |
41 | 116 (make-local-variable 'comment-column) |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
117 (setq comment-column 48)) |
41 | 118 |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
119 (defvar prolog-mode-map |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
120 (let ((map (make-sparse-keymap))) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
121 (define-key map "\e\C-x" 'prolog-consult-region) |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
122 (define-key map "\C-c\C-l" 'inferior-prolog-load-file) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
123 (define-key map "\C-c\C-z" 'switch-to-prolog) |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
124 map)) |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
125 |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
126 (easy-menu-define prolog-mode-menu prolog-mode-map "Menu for Prolog mode." |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
127 ;; Mostly copied from scheme-mode's menu. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
128 ;; Not tremendously useful, but it's a start. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
129 '("Prolog" |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
130 ["Indent line" indent-according-to-mode t] |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
131 ["Indent region" indent-region t] |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
132 ["Comment region" comment-region t] |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
133 ["Uncomment region" uncomment-region t] |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
134 "--" |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
135 ["Run interactive Prolog session" run-prolog t] |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
136 )) |
41 | 137 |
258 | 138 ;;;###autoload |
41 | 139 (defun prolog-mode () |
140 "Major mode for editing Prolog code for Prologs. | |
141 Blank lines and `%%...' separate paragraphs. `%'s start comments. | |
142 Commands: | |
143 \\{prolog-mode-map} | |
242 | 144 Entry to this mode calls the value of `prolog-mode-hook' |
41 | 145 if that value is non-nil." |
146 (interactive) | |
147 (kill-all-local-variables) | |
148 (use-local-map prolog-mode-map) | |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
149 (set-syntax-table prolog-mode-syntax-table) |
41 | 150 (setq major-mode 'prolog-mode) |
151 (setq mode-name "Prolog") | |
152 (prolog-mode-variables) | |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
153 (set (make-local-variable 'comment-add) 1) |
45608
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
154 ;; font lock |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
155 (setq font-lock-defaults '(prolog-font-lock-keywords |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
156 nil nil nil |
706ae7fb4033
(prolog-mode-syntax-table): Add flags to ?/ and ?* entries
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
20396
diff
changeset
|
157 beginning-of-line)) |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
158 (run-mode-hooks 'prolog-mode-hook)) |
41 | 159 |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
160 (defun prolog-indent-line () |
41 | 161 "Indent current line as Prolog code. |
162 With argument, indent any additional lines of the same clause | |
163 rigidly along with this one (not yet)." | |
164 (interactive "p") | |
165 (let ((indent (prolog-indent-level)) | |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
166 (pos (- (point-max) (point)))) |
41 | 167 (beginning-of-line) |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
168 (indent-line-to indent) |
41 | 169 (if (> (- (point-max) pos) (point)) |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
170 (goto-char (- (point-max) pos))))) |
41 | 171 |
172 (defun prolog-indent-level () | |
64072
db79be1bac82
(prolog-eof-string): Doc fixes.
Juanma Barranquero <lekktu@gmail.com>
parents:
64048
diff
changeset
|
173 "Compute Prolog indentation level." |
41 | 174 (save-excursion |
175 (beginning-of-line) | |
176 (skip-chars-forward " \t") | |
177 (cond | |
178 ((looking-at "%%%") 0) ;Large comment starts | |
179 ((looking-at "%[^%]") comment-column) ;Small comment starts | |
180 ((bobp) 0) ;Beginning of buffer | |
181 (t | |
182 (let ((empty t) ind more less) | |
183 (if (looking-at ")") | |
184 (setq less t) ;Find close | |
185 (setq less nil)) | |
186 ;; See previous indentation | |
187 (while empty | |
188 (forward-line -1) | |
189 (beginning-of-line) | |
190 (if (bobp) | |
191 (setq empty nil) | |
192 (skip-chars-forward " \t") | |
193 (if (not (or (looking-at "%[^%]") (looking-at "\n"))) | |
194 (setq empty nil)))) | |
195 (if (bobp) | |
196 (setq ind 0) ;Beginning of buffer | |
197 (setq ind (current-column))) ;Beginning of clause | |
198 ;; See its beginning | |
199 (if (looking-at "%%[^%]") | |
200 ind | |
201 ;; Real prolog code | |
202 (if (looking-at "(") | |
203 (setq more t) ;Find open | |
204 (setq more nil)) | |
205 ;; See its tail | |
206 (end-of-prolog-clause) | |
207 (or (bobp) (forward-char -1)) | |
208 (cond ((looking-at "[,(;>]") | |
209 (if (and more (looking-at "[^,]")) | |
210 (+ ind prolog-indent-width) ;More indentation | |
211 (max tab-width ind))) ;Same indentation | |
212 ((looking-at "-") tab-width) ;TAB | |
213 ((or less (looking-at "[^.]")) | |
214 (max (- ind prolog-indent-width) 0)) ;Less indentation | |
215 (t 0)) ;No indentation | |
216 ))) | |
217 ))) | |
218 | |
219 (defun end-of-prolog-clause () | |
220 "Go to end of clause in this line." | |
221 (beginning-of-line 1) | |
222 (let* ((eolpos (save-excursion (end-of-line) (point)))) | |
223 (if (re-search-forward comment-start-skip eolpos 'move) | |
224 (goto-char (match-beginning 0))) | |
225 (skip-chars-backward " \t"))) | |
226 | |
227 ;;; | |
228 ;;; Inferior prolog mode | |
229 ;;; | |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
230 (defvar inferior-prolog-mode-map |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
231 (let ((map (make-sparse-keymap))) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
232 ;; This map will inherit from `comint-mode-map' when entering |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
233 ;; inferior-prolog-mode. |
72696
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
234 (define-key map [remap self-insert-command] |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
235 'inferior-prolog-self-insert-command) |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
236 map)) |
41 | 237 |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
238 (defvar inferior-prolog-mode-syntax-table prolog-mode-syntax-table) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
239 (defvar inferior-prolog-mode-abbrev-table prolog-mode-abbrev-table) |
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
240 |
104363
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
241 (defvar inferior-prolog-error-regexp-alist |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
242 ;; GNU Prolog used to not follow the GNU standard format. |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
243 '(("^\\(.*?\\):\\([0-9]+\\) error: .*(char:\\([0-9]+\\)" 1 2 3) |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
244 gnu)) |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
245 |
87122
f6591f36eb87
Remove directory part from filenames in function declarations.
Glenn Morris <rgm@gnu.org>
parents:
86243
diff
changeset
|
246 (declare-function comint-mode "comint") |
f6591f36eb87
Remove directory part from filenames in function declarations.
Glenn Morris <rgm@gnu.org>
parents:
86243
diff
changeset
|
247 (declare-function comint-send-string "comint" (process string)) |
f6591f36eb87
Remove directory part from filenames in function declarations.
Glenn Morris <rgm@gnu.org>
parents:
86243
diff
changeset
|
248 (declare-function comint-send-region "comint" (process start end)) |
f6591f36eb87
Remove directory part from filenames in function declarations.
Glenn Morris <rgm@gnu.org>
parents:
86243
diff
changeset
|
249 (declare-function comint-send-eof "comint" ()) |
104542
5986db97372e
(compilation-error-regexp-alist, compilation-forget-errors): Declare.
Glenn Morris <rgm@gnu.org>
parents:
104363
diff
changeset
|
250 (defvar compilation-error-regexp-alist) |
86243
4d615a83cee2
* progmodes/idlw-help.el: Require browse-url unconditionally, it
Dan Nicolaescu <dann@ics.uci.edu>
parents:
85510
diff
changeset
|
251 |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
252 (define-derived-mode inferior-prolog-mode comint-mode "Inferior Prolog" |
41 | 253 "Major mode for interacting with an inferior Prolog process. |
254 | |
255 The following commands are available: | |
256 \\{inferior-prolog-mode-map} | |
257 | |
242 | 258 Entry to this mode calls the value of `prolog-mode-hook' with no arguments, |
259 if that value is non-nil. Likewise with the value of `comint-mode-hook'. | |
260 `prolog-mode-hook' is called after `comint-mode-hook'. | |
41 | 261 |
62461
3321bf6b1f4d
Replace `send-string' by `process-send-string'; replace `send-region' by `process-send-region'.
Juanma Barranquero <lekktu@gmail.com>
parents:
58713
diff
changeset
|
262 You can send text to the inferior Prolog from other buffers using the commands |
3321bf6b1f4d
Replace `send-string' by `process-send-string'; replace `send-region' by `process-send-region'.
Juanma Barranquero <lekktu@gmail.com>
parents:
58713
diff
changeset
|
263 `process-send-region', `process-send-string' and \\[prolog-consult-region]. |
41 | 264 |
265 Commands: | |
266 Tab indents for Prolog; with argument, shifts rest | |
267 of expression rigidly with the current line. | |
242 | 268 Paragraphs are separated only by blank lines and '%%'. |
269 '%'s start comments. | |
41 | 270 |
271 Return at end of buffer sends line as input. | |
272 Return not at end copies rest of line to end and sends it. | |
273 \\[comint-kill-input] and \\[backward-kill-word] are kill commands, imitating normal Unix input editing. | |
274 \\[comint-interrupt-subjob] interrupts the shell or its current subjob if any. | |
275 \\[comint-stop-subjob] stops. \\[comint-quit-subjob] sends quit signal." | |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
276 (setq comint-prompt-regexp "^| [ ?][- ] *") |
104363
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
277 (set (make-local-variable 'compilation-error-regexp-alist) |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
278 inferior-prolog-error-regexp-alist) |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
279 (compilation-shell-minor-mode) |
53891
4b85b1e3d610
(prolog-program-name): Use gprolog if available.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
52401
diff
changeset
|
280 (prolog-mode-variables)) |
41 | 281 |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
282 (defvar inferior-prolog-buffer nil) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
283 |
85451
e1af3a725ca4
* textmodes/two-column.el (2C-split, 2C-merge):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
78234
diff
changeset
|
284 (defvar inferior-prolog-flavor 'unknown |
e1af3a725ca4
* textmodes/two-column.el (2C-split, 2C-merge):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
78234
diff
changeset
|
285 "Either a symbol or a buffer position offset by one. |
e1af3a725ca4
* textmodes/two-column.el (2C-split, 2C-merge):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
78234
diff
changeset
|
286 If a buffer position, the flavor has not been determined yet and |
e1af3a725ca4
* textmodes/two-column.el (2C-split, 2C-merge):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
78234
diff
changeset
|
287 it is expected that the process's output has been or will |
e1af3a725ca4
* textmodes/two-column.el (2C-split, 2C-merge):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
78234
diff
changeset
|
288 be inserted at that position plus one.") |
e1af3a725ca4
* textmodes/two-column.el (2C-split, 2C-merge):
Dan Nicolaescu <dann@ics.uci.edu>
parents:
78234
diff
changeset
|
289 |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
290 (defun inferior-prolog-run (&optional name) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
291 (with-current-buffer (make-comint "prolog" (or name prolog-program-name)) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
292 (inferior-prolog-mode) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
293 (setq-default inferior-prolog-buffer (current-buffer)) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
294 (make-local-variable 'inferior-prolog-buffer) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
295 (when (and name (not (equal name prolog-program-name))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
296 (set (make-local-variable 'prolog-program-name) name)) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
297 (set (make-local-variable 'inferior-prolog-flavor) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
298 ;; Force re-detection. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
299 (let* ((proc (get-buffer-process (current-buffer))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
300 (pmark (and proc (marker-position (process-mark proc))))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
301 (cond |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
302 ((null pmark) (1- (point-min))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
303 ;; The use of insert-before-markers in comint.el together with |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
304 ;; the potential use of comint-truncate-buffer in the output |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
305 ;; filter, means that it's difficult to reliably keep track of |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
306 ;; the buffer position where the process's output started. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
307 ;; If possible we use a marker at "start - 1", so that |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
308 ;; insert-before-marker at `start' won't shift it. And if not, |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
309 ;; we fall back on using a plain integer. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
310 ((> pmark (point-min)) (copy-marker (1- pmark))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
311 (t (1- pmark))))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
312 (add-hook 'comint-output-filter-functions |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
313 'inferior-prolog-guess-flavor nil t))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
314 |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
315 (defun inferior-prolog-process (&optional dontstart) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
316 (or (and (buffer-live-p inferior-prolog-buffer) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
317 (get-buffer-process inferior-prolog-buffer)) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
318 (unless dontstart |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
319 (inferior-prolog-run) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
320 ;; Try again. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
321 (inferior-prolog-process)))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
322 |
72696
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
323 (defun inferior-prolog-guess-flavor (&optional ignored) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
324 (save-excursion |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
325 (goto-char (1+ inferior-prolog-flavor)) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
326 (setq inferior-prolog-flavor |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
327 (cond |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
328 ((looking-at "GNU Prolog") 'gnu) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
329 ((looking-at "Welcome to SWI-Prolog") 'swi) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
330 ((looking-at ".*\n") 'unknown) ;There's at least one line. |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
331 (t inferior-prolog-flavor)))) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
332 (when (symbolp inferior-prolog-flavor) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
333 (remove-hook 'comint-output-filter-functions |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
334 'inferior-prolog-guess-flavor t) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
335 (if (eq inferior-prolog-flavor 'gnu) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
336 (set (make-local-variable 'comint-process-echoes) t)))) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
337 |
258 | 338 ;;;###autoload |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
339 (defalias 'run-prolog 'switch-to-prolog) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
340 ;;;###autoload |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
341 (defun switch-to-prolog (&optional name) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
342 "Run an inferior Prolog process, input and output via buffer *prolog*. |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
343 With prefix argument \\[universal-prefix], prompt for the program to use." |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
344 (interactive |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
345 (list (when current-prefix-arg |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
346 (let ((proc (inferior-prolog-process 'dontstart))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
347 (if proc |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
348 (if (yes-or-no-p "Kill current process before starting new one? ") |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
349 (kill-process proc) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
350 (error "Abort"))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
351 (read-string "Run Prolog: " prolog-program-name))))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
352 (unless (inferior-prolog-process 'dontstart) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
353 (inferior-prolog-run name)) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
354 (pop-to-buffer inferior-prolog-buffer)) |
41 | 355 |
72696
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
356 (defun inferior-prolog-self-insert-command () |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
357 "Insert the char in the buffer or pass it directly to the process." |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
358 (interactive) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
359 (let* ((proc (get-buffer-process (current-buffer))) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
360 (pmark (and proc (marker-position (process-mark proc))))) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
361 (if (and (eq inferior-prolog-flavor 'gnu) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
362 pmark |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
363 (null current-prefix-arg) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
364 (eobp) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
365 (eq (point) pmark) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
366 (save-excursion |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
367 (goto-char (- pmark 3)) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
368 (looking-at " \\? "))) |
104363
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
369 ;; This is GNU prolog waiting to know whether you want more answers |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
370 ;; or not (or abort, etc...). The answer is a single char, not |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
371 ;; a line, so pass this char directly rather than wait for RET to |
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
372 ;; send a whole line. |
101002
3b3c7e10cd97
Replace last-command-char with last-command-event.
Glenn Morris <rgm@gnu.org>
parents:
100908
diff
changeset
|
373 (comint-send-string proc (string last-command-event)) |
72696
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
374 (call-interactively 'self-insert-command)))) |
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
375 |
41 | 376 (defun prolog-consult-region (compile beg end) |
242 | 377 "Send the region to the Prolog process made by \"M-x run-prolog\". |
378 If COMPILE (prefix arg) is not nil, use compile mode rather than consult mode." | |
41 | 379 (interactive "P\nr") |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
380 (let ((proc (inferior-prolog-process))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
381 (comint-send-string proc |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
382 (if compile prolog-compile-string |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
383 prolog-consult-string)) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
384 (comint-send-region proc beg end) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
385 (comint-send-string proc "\n") ;May be unnecessary |
41 | 386 (if prolog-eof-string |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
387 (comint-send-string proc prolog-eof-string) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
388 (with-current-buffer (process-buffer proc) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
389 (comint-send-eof))))) ;Send eof to prolog process. |
41 | 390 |
391 (defun prolog-consult-region-and-go (compile beg end) | |
392 "Send the region to the inferior Prolog, and switch to *prolog* buffer. | |
242 | 393 If COMPILE (prefix arg) is not nil, use compile mode rather than consult mode." |
41 | 394 (interactive "P\nr") |
395 (prolog-consult-region compile beg end) | |
72696
560a2e73e11b
(inferior-prolog-flavor): New var left out of previous commit.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
72684
diff
changeset
|
396 (pop-to-buffer inferior-prolog-buffer)) |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
397 |
104542
5986db97372e
(compilation-error-regexp-alist, compilation-forget-errors): Declare.
Glenn Morris <rgm@gnu.org>
parents:
104363
diff
changeset
|
398 ;; inferior-prolog-mode uses the autoloaded compilation-shell-minor-mode. |
5986db97372e
(compilation-error-regexp-alist, compilation-forget-errors): Declare.
Glenn Morris <rgm@gnu.org>
parents:
104363
diff
changeset
|
399 (declare-function compilation-forget-errors "compile" ()) |
5986db97372e
(compilation-error-regexp-alist, compilation-forget-errors): Declare.
Glenn Morris <rgm@gnu.org>
parents:
104363
diff
changeset
|
400 |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
401 (defun inferior-prolog-load-file () |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
402 "Pass the current buffer's file to the inferior prolog process." |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
403 (interactive) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
404 (save-buffer) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
405 (let ((file buffer-file-name) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
406 (proc (inferior-prolog-process))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
407 (with-current-buffer (process-buffer proc) |
104363
790054ad67dd
(inferior-prolog-error-regexp-alist): New var.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
101002
diff
changeset
|
408 (compilation-forget-errors) |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
409 (comint-send-string proc (concat "['" (file-relative-name file) "'].\n")) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
410 (pop-to-buffer (current-buffer))))) |
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
411 |
18383 | 412 (provide 'prolog) |
413 | |
72684
f65ec4fd2be1
Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
68773
diff
changeset
|
414 ;; arch-tag: f3ec6748-1272-4ab6-8826-c50cb1607636 |
659
505130d1ddf8
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
415 ;;; prolog.el ends here |