annotate lisp/progmodes/prolog.el @ 105186:d6ddd512e29c

(c-scan-conditionals): A new function like c-forward-conditionals, but it doesn't move point and doesn't set the mark. (c-up-conditional, c-up-conditional-with-else, c-down-conditional) (c-down-conditional-with-else, c-backward-conditional) (c-forward-conditional): Refactor to use c-scan-conditionals.
author Alan Mackenzie <acm@muc.de>
date Thu, 24 Sep 2009 20:19:58 +0000
parents 5986db97372e
children 1d1d5d9bd884
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
213978acbc1e entered into RCS
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 814
diff changeset
5
17977
727cf56647a4 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 17414
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
15
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
19 ;; GNU General Public License for more details.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
20
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
83 (let ((table (make-syntax-table)))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
84 (modify-syntax-entry ?_ "w" table)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
88 (modify-syntax-entry ?+ "." table)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
89 (modify-syntax-entry ?- "." table)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
90 (modify-syntax-entry ?= "." table)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
93 (modify-syntax-entry ?< "." table)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
94 (modify-syntax-entry ?> "." table)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
99 (define-abbrev-table 'prolog-mode-abbrev-table ())
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
100
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
101 (defun prolog-mode-variables ()
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
104 (make-local-variable 'paragraph-ignore-fill-prefix)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
105 (setq paragraph-ignore-fill-prefix t)
20396
ba46225fd687 (prolog-mode-variables):
Karl Heuer <kwzh@gnu.org>
parents: 18383
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
108 (make-local-variable 'indent-line-function)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
109 (setq indent-line-function 'prolog-indent-line)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
110 (make-local-variable 'comment-start)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
111 (setq comment-start "%")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
137
258
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 242
diff changeset
138 ;;;###autoload
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
139 (defun prolog-mode ()
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
140 "Major mode for editing Prolog code for Prologs.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
141 Blank lines and `%%...' separate paragraphs. `%'s start comments.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
142 Commands:
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
143 \\{prolog-mode-map}
242
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
144 Entry to this mode calls the value of `prolog-mode-hook'
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
145 if that value is non-nil."
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
146 (interactive)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
147 (kill-all-local-variables)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
150 (setq major-mode 'prolog-mode)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
151 (setq mode-name "Prolog")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
159
72684
f65ec4fd2be1 Remove * in docstrings.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 68773
diff changeset
160 (defun prolog-indent-line ()
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
161 "Indent current line as Prolog code.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
162 With argument, indent any additional lines of the same clause
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
163 rigidly along with this one (not yet)."
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
164 (interactive "p")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
171
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
174 (save-excursion
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
175 (beginning-of-line)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
176 (skip-chars-forward " \t")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
177 (cond
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
178 ((looking-at "%%%") 0) ;Large comment starts
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
179 ((looking-at "%[^%]") comment-column) ;Small comment starts
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
180 ((bobp) 0) ;Beginning of buffer
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
181 (t
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
182 (let ((empty t) ind more less)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
183 (if (looking-at ")")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
184 (setq less t) ;Find close
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
185 (setq less nil))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
186 ;; See previous indentation
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
187 (while empty
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
188 (forward-line -1)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
189 (beginning-of-line)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
190 (if (bobp)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
191 (setq empty nil)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
192 (skip-chars-forward " \t")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
193 (if (not (or (looking-at "%[^%]") (looking-at "\n")))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
194 (setq empty nil))))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
195 (if (bobp)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
196 (setq ind 0) ;Beginning of buffer
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
197 (setq ind (current-column))) ;Beginning of clause
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
198 ;; See its beginning
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
199 (if (looking-at "%%[^%]")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
200 ind
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
201 ;; Real prolog code
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
202 (if (looking-at "(")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
203 (setq more t) ;Find open
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
204 (setq more nil))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
205 ;; See its tail
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
206 (end-of-prolog-clause)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
207 (or (bobp) (forward-char -1))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
208 (cond ((looking-at "[,(;>]")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
209 (if (and more (looking-at "[^,]"))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
210 (+ ind prolog-indent-width) ;More indentation
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
211 (max tab-width ind))) ;Same indentation
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
212 ((looking-at "-") tab-width) ;TAB
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
213 ((or less (looking-at "[^.]"))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
214 (max (- ind prolog-indent-width) 0)) ;Less indentation
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
215 (t 0)) ;No indentation
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
216 )))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
217 )))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
218
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
219 (defun end-of-prolog-clause ()
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
220 "Go to end of clause in this line."
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
221 (beginning-of-line 1)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
222 (let* ((eolpos (save-excursion (end-of-line) (point))))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
223 (if (re-search-forward comment-start-skip eolpos 'move)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
224 (goto-char (match-beginning 0)))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
225 (skip-chars-backward " \t")))
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
226
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
227 ;;;
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
228 ;;; Inferior prolog mode
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
253 "Major mode for interacting with an inferior Prolog process.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
254
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
255 The following commands are available:
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
256 \\{inferior-prolog-mode-map}
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
257
242
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
258 Entry to this mode calls the value of `prolog-mode-hook' with no arguments,
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
259 if that value is non-nil. Likewise with the value of `comint-mode-hook'.
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
260 `prolog-mode-hook' is called after `comint-mode-hook'.
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
264
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
265 Commands:
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
266 Tab indents for Prolog; with argument, shifts rest
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
267 of expression rigidly with the current line.
242
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
268 Paragraphs are separated only by blank lines and '%%'.
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
269 '%'s start comments.
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
270
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
271 Return at end of buffer sends line as input.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
272 Return not at end copies rest of line to end and sends it.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
273 \\[comint-kill-input] and \\[backward-kill-word] are kill commands, imitating normal Unix input editing.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
274 \\[comint-interrupt-subjob] interrupts the shell or its current subjob if any.
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 242
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
376 (defun prolog-consult-region (compile beg end)
242
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
377 "Send the region to the Prolog process made by \"M-x run-prolog\".
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
378 If COMPILE (prefix arg) is not nil, use compile mode rather than consult mode."
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
390
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
391 (defun prolog-consult-region-and-go (compile beg end)
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
392 "Send the region to the inferior Prolog, and switch to *prolog* buffer.
242
5647f2040009 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 41
diff changeset
393 If COMPILE (prefix arg) is not nil, use compile mode rather than consult mode."
41
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
394 (interactive "P\nr")
467ee6fe6503 Initial revision
root <root>
parents:
diff changeset
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
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 17977
diff changeset
412 (provide 'prolog)
11218164bc54 Add provide call.
Richard M. Stallman <rms@gnu.org>
parents: 17977
diff changeset
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