home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / emacs-18.59-bin.lha / lib / emacs / 18.59 / lisp / prolog.elc < prev    next >
Text File  |  1991-01-09  |  6KB  |  102 lines
  1.  
  2. (defvar prolog-mode-syntax-table nil)
  3.  
  4. (defvar prolog-mode-abbrev-table nil)
  5.  
  6. (defvar prolog-mode-map nil)
  7.  
  8. (defvar prolog-consult-string "reconsult(user).
  9. " "*(Re)Consult mode (for C-Prolog and Quintus Prolog). ")
  10.  
  11. (defvar prolog-compile-string "compile(user).
  12. " "*Compile mode (for Quintus Prolog).")
  13.  
  14. (defvar prolog-eof-string "end_of_file.
  15. " "*String that represents end of file for prolog.
  16. nil means send actual operaing system end of file.")
  17.  
  18. (defvar prolog-indent-width 4)
  19.  
  20. (if prolog-mode-syntax-table nil (let ((table (make-syntax-table))) (modify-syntax-entry 95 "w" table) (modify-syntax-entry 92 "\\" table) (modify-syntax-entry 47 "." table) (modify-syntax-entry 42 "." table) (modify-syntax-entry 43 "." table) (modify-syntax-entry 45 "." table) (modify-syntax-entry 61 "." table) (modify-syntax-entry 37 "<" table) (modify-syntax-entry 60 "." table) (modify-syntax-entry 62 "." table) (modify-syntax-entry 39 "\"" table) (setq prolog-mode-syntax-table table)))
  21.  
  22. (define-abbrev-table (quote prolog-mode-abbrev-table) nil)
  23.  
  24. (defun prolog-mode-variables nil (byte-code "Í!ˆ
  25. ‰ˆÎÃ!ˆÏ P‰ˆÎÅ!ˆ ‰ˆÎÆ!ˆÇ‰ˆÎÈ!ˆÐ‰ˆÎÉ!ˆÑ‰    ˆÎÊ!ˆÒ‰
  26. ˆÎË!ˆÓ‰ ˆÎÌ!ˆÔ‰ ‡" [prolog-mode-syntax-table local-abbrev-table prolog-mode-abbrev-table paragraph-start page-delimiter paragraph-separate paragraph-ignore-fill-prefix t indent-line-function comment-start comment-start-skip comment-column comment-indent-hook set-syntax-table make-local-variable "^%%\\|^$\\|" prolog-indent-line "%" "%+ *" 48 prolog-comment-indent] 11))
  27.  
  28. (defun prolog-mode-commands (map) (byte-code "ÁÂÃ#ˆÁÄÅ#‡" [map define-key "    " prolog-indent-line "" prolog-consult-region] 5))
  29.  
  30. (if prolog-mode-map nil (setq prolog-mode-map (make-sparse-keymap)) (prolog-mode-commands prolog-mode-map))
  31.  
  32. (defun prolog-mode nil "\
  33. Major mode for editing Prolog code for Prologs.
  34. Blank lines and `%%...' separate paragraphs.  `%'s start comments.
  35. Commands:
  36. \\{prolog-mode-map}
  37. Entry to this mode calls the value of prolog-mode-hook
  38. if that value is non-nil." (interactive) (byte-code "ÈĠˆÅ!ˆÆ‰ˆÇ‰ˆÈ ˆÉÊ!‡" [prolog-mode-map major-mode mode-name nil kill-all-local-variables use-local-map prolog-mode "Prolog" prolog-mode-variables run-hooks prolog-mode-hook] 5))
  39.  
  40. (defun prolog-indent-line (&optional whole-exp) "\
  41. Indent current line as Prolog code.
  42. With argument, indent any additional lines of the same clause
  43. rigidly along with this one (not yet)." (interactive "p") (byte-code "ÈĠd`ZÃÅ ˆ`‰ˆÆÇ!ˆÈiZ!ƒ\"Â)É
  44. `\"ˆjˆd    Z`V…6d    Zb+‡" [indent pos beg nil prolog-indent-level beginning-of-line skip-chars-forward "     " zerop delete-region] 7))
  45.  
  46. (defun prolog-indent-level nil "\
  47. Compute prolog indentation level." (byte-code "ŠÉ ˆÊË!ˆÌÍ!ƒ΂ÛÌÏ!ƒ‚Ûoƒ$΂ÛÁÆÆÆÌÐ!ƒ8Á‰‚;Ɖˆ
  48. …iÑÒ!ˆÉ ˆoƒQƉ‚eÊË!ˆÌÏ!†^ÌÓ!?…eƉˆ‚<ˆoƒtΉ‚wi‰ˆÌÔ!ƒ‚ ‚ÚÌÕ!ƒŽÁ‰‚‘ƉˆÖ ˆo†œ×Ò!ˆÌØ!ƒ» …ªÌÙ!ƒ´ \\‚¸ ]‚ÚÌÚ!ƒÆ‚Ú†ÍÌÛ!ƒÙ ZÎ]‚ÚÎ,)‡" [comment-column t empty ind more less nil prolog-indent-width tab-width beginning-of-line skip-chars-forward "     " looking-at "%%%" 0 "%[^%]" ")" forward-line -1 "
  49. " "%%[^%]" "(" end-of-prolog-clause forward-char "[,(;>]" "[^,]" "-" "[^.]"] 20))
  50.  
  51. (defun end-of-prolog-clause nil "\
  52. Go to end of clause in this line." (byte-code "ÂÃ!ˆŠÄ ˆ`)Å    Æ#…ÇÈ!bˆÉÊ!)‡" [eolpos comment-start-skip beginning-of-line 1 end-of-line re-search-forward move match-beginning 0 skip-chars-backward "     "] 6))
  53.  
  54. (defun prolog-comment-indent nil "\
  55. Compute prolog comment indentation." (byte-code "ÂÃ!ƒ
  56. ĂÂÅ!ƒÆ ‚ŠÇÈ!ˆiT    ])‡" [t comment-column looking-at "%%%" 0 "%%" prolog-indent-level skip-chars-backward "     "] 6))
  57.  
  58. (defvar inferior-prolog-mode-map nil)
  59.  
  60. (defun inferior-prolog-mode nil "\
  61. Major mode for interacting with an inferior Prolog process.
  62.  
  63. The following commands are available:
  64. \\{inferior-prolog-mode-map}
  65.  
  66. Entry to this mode calls the value of prolog-mode-hook with no arguments,
  67. if that value is non-nil.  Likewise with the value of shell-mode-hook.
  68. prolog-mode-hook is called after shell-mode-hook.
  69.  
  70. You can send text to the inferior Prolog from other buffers
  71. using the commands send-region, send-string and \\[prolog-consult-region].
  72.  
  73. Commands:
  74. Tab indents for Prolog; with argument, shifts rest
  75.  of expression rigidly with the current line.
  76. Paragraphs are separated only by blank lines and '%%'. '%'s start comments.
  77.  
  78. Return at end of buffer sends line as input.
  79. Return not at end copies rest of line to end and sends it.
  80. \\[shell-send-eof] sends end-of-file as input.
  81. \\[kill-shell-input] and \\[backward-kill-word] are kill commands, imitating normal Unix input editing.
  82. \\[interrupt-shell-subjob] interrupts the shell or its current subjob if any.
  83. \\[stop-shell-subjob] stops, likewise. \\[quit-shell-subjob] sends quit signal, likewise." (interactive) (byte-code "ĈɠˆÊ‰ˆË‰ˆÌ‰ˆÍ ˆÎÏ!ˆ ƒ Ä‚)Ð!‰ˆÑ !ˆÒ !ˆÓÆ!ˆÔ ‰ˆÓÇ!ˆÔ ‰ˆÕÈ!ˆÖ‰ˆ×ØÙ\"‡" [major-mode mode-name mode-line-process inferior-prolog-mode-map nil shell-mode-map last-input-start last-input-end shell-prompt-pattern kill-all-local-variables inferior-prolog-mode "Inferior Prolog" (": %s") prolog-mode-variables require shell copy-alist prolog-mode-commands use-local-map make-local-variable make-marker make-variable-buffer-local "^| [ ?][- ] *" run-hooks shell-mode-hook prolog-mode-hook] 14))
  84.  
  85. (defun run-prolog nil "\
  86. Run an inferior Prolog process, input and output via buffer *prolog*." (interactive) (byte-code "ÀˆÁÂ!ˆÃÄÅÅ\"!ˆÆ ‡" [nil require shell switch-to-buffer make-shell "prolog" inferior-prolog-mode] 5))
  87.  
  88. (defun prolog-consult-region (compile beg end) "\
  89. Send the region to the Prolog process made by M-x run-prolog.
  90.  If COMPILE (prefix arg) is not nil,
  91.  use compile mode rather than consult mode." (interactive "P
  92. r") (byte-code "ƈŠƒÇÈ    \"‚ÇÈ
  93. \"ˆÉÈ #ˆÇÈÊ\"ˆƒ)ÇÈ\"‚,ËÈ!)‡" [compile prolog-compile-string prolog-consult-string beg end prolog-eof-string nil send-string "prolog" send-region "
  94. " process-send-eof] 7))
  95.  
  96. (defun prolog-consult-region-and-go (compile beg end) "\
  97. Send the region to the inferior Prolog, and switch to *prolog* buffer.
  98.  If COMPILE (prefix arg) is not nil,
  99.  use compile mode rather than consult mode." (interactive "P
  100. r") (byte-code "ÈĠ   
  101. #ˆÅÆ!‡" [compile beg end nil prolog-consult-region switch-to-buffer "*prolog*"] 4))
  102.