Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
;ELC ;;; Compiled by leavens@CMC3251632-A on Wed Oct 13 23:09:20 2004 ;;; from file d:/emacs/teyjus.el ;;; in Emacs version 21.3.1 ;;; with bytecomp version 2.85.4.1 ;;; with all optimizations. ;;; This file uses dynamic docstrings, first added in Emacs 19.29. (if (and (boundp 'emacs-version) (< (aref emacs-version (1- (length emacs-version))) ?A) (or (and (boundp 'epoch::version) epoch::version) (string-lessp emacs-version "19.29"))) (error "`teyjus.el' was compiled for Emacs 19.29 or later")) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (byte-code "\306\307!\210\306\310!\210\311\312!\210\311\313!\210\314B\315B\302 B\316\302!\204$\317\303 B\316\303!\2040\320\304 B\316\304!\204<\320\305 B\316\305!\204H\320\f\204i\321!\322\f\323\324#\210\322\f\325\326#\210\322\f\327\330#\210\322\f\331\332#\210 \204\220\321!\322 \333\334#\210\322 \323\324#\210\322 \325\326#\210\322 \327\330#\210\322 \331\332#\210\320\207" [auto-mode-alist current-load-list lprolog-prompt-pattern explicit-lprolog-file-name teyjus-mode-map teyjus-edit-mode-map require easymenu comint provide teyjus teyjus-mode ("\\.mod\\'" . teyjus-edit-mode) ("\\.sig\\'" . teyjus-edit-mode) boundp "^| \\?\\- " nil copy-keymap define-key "c" teyjus-compile "q" teyjus-query "p" teyjus-prev-error "n" teyjus-next-error "r" teyjus-run comint-mode-map text-mode-map] 4) #@35 *Hook for customizing teyjus mode (defvar teyjus-mode-hook nil (#$ . -1404)) (byte-code "\301B\302\301!\204\f\303\301\207" [current-load-list teyjus-menu boundp ("Teyjus" ["Start Teyjus" teyjus t] ["Add search path" teyjus-path t] ["----" nil t] ["Compile file" teyjus-compile t] ["Query file" teyjus-query t] ["Query toplevel" teyjus-query-top t] ["Compile and query buffer" teyjus-run t] ["------" nil t] ["Goto next error" teyjus-next-error t] ["Goto previous error" teyjus-prev-error t] ["-----" nil t] ["Query goals in file" teyjus-goal-file t])] 2) #@373 Major mode for interacting with an inferior teyjus process. Return after the end of the process' output sends the text from the end of process to the end of the current line. Return before end of process output copies rest of line to end (skipping the prompt) and sends it. If you accidentally suspend your process, use \[comint-continue-subjob] to continue it. (defalias 'teyjus-mode #[nil "\306 \210\307 \210\310\311\312\304\313\314#\210\315\304!\204\316\317\304 \314$\210\320 !\210\321!\210\322\323!\210\324\325!\210\326 \210\327\330!\207" [lprolog-prompt-pattern comint-prompt-regexp major-mode mode-name teyjus-mode-menu-symbol teyjus-mode-map kill-all-local-variables comint-mode teyjus-mode "Teyjus" put variable-documentation "Teyjus menu" boundp nil easy-menu-do-define use-local-map set-syntax-table make-local-variable font-lock-defaults (iteyjus-font-lock-keywords t nil) easy-menu-add turn-on-font-lock-if-enabled run-hooks teyjus-mode-hook teyjus-menu teyjus-mode-syntax-table] 5 (#$ . 1970) nil]) #@38 Mode for editing Lambda Prolog Files (defalias 'teyjus-edit-mode #[nil "\306 \210\307\307\307\310\311\312\305\313\314#\210\315\305!\204\307\316\305\314$\210\317!\210\320!\210\321\322!\210\323\324 \210\325!\210\326\327!\207" [default-case-fold-search imenu-case-fold-search font-lock-keywords-case-fold-search major-mode mode-name teyjus-edit-mode-menu-symbol kill-all-local-variables nil teyjus-edit-mode "Teyjus" put variable-documentation "Teyjus menu" boundp easy-menu-do-define use-local-map set-syntax-table make-local-variable font-lock-defaults (teyjus-font-lock-keywords nil nil) turn-on-font-lock easy-menu-add run-hooks teyjus-mode-hook teyjus-edit-mode-map teyjus-menu teyjus-mode-syntax-table] 5 (#$ . 3013) nil]) #@729 Run an inferior Prolog, with I/O through buffer *teyjus*. If buffer exists but prolog process is not running, make new prolog. If buffer exists and prolog process is running, just switch to buffer *teyjus*. Program used comes from variable explicit-prolog-file-name, or (if that is nil) from the PROLOG environment variable. If a file ~/.emacs_prolog exists, it is given as initial input (Note that this may lose due to a timing error if the shell discards input when it starts up.) The buffer is put in teyjus-mode, giving commands for sending input and controlling the subjobs of the prolog. See teyjus-mode. See also variable lprolog-prompt-pattern. (Type \[describe-mode] in the prolog buffer for a list of commands.) (defalias 'teyjus #[nil "\304\305!\204,\206\306\307!\206\310\311 !\312\nP\313\314\315 \316!\205%$q\210\317 \210+\320\305!\207" [explicit-lprolog-file-name prog name startfile comint-check-proc "*teyjus*" getenv "PROLOG" "prolog" file-name-nondirectory "~/.emacs_" apply make-comint "teyjus" file-exists-p teyjus-mode switch-to-buffer] 6 (#$ . 3766) nil]) (byte-code "\301B\306\301!\204\f\307\302B\306\302!\204\310\303B\306\303!\204$\311\304B\306\304!\2040\311\305B\306\305!\204<\312\310\207" [current-load-list linenumber filename teyjus-last-error teyjus-top-error teyjus-error-regexp boundp 0 nil 1 "^\\(.+\\):\\([0-9]+\\)\\.\\([0-9]+\\).+\\(Error\\|Warning\\|parse error\\)"] 2) (defalias 'teyjus-next-error #[nil "\304q\210\305\306\307\310\217\210`\203;\311 \210\312\224\312\225{\313\314\224\314\225{!\315\316\n!!\210\315\304!\210\317 \210\315\316\n!!q\210\320!\202>\321\322!)\207" [found teyjus-last-error filename linenumber "*teyjus*" t nil (byte-code "b\210\302\210\303 !\207" [teyjus-last-error teyjus-error-regexp nil re-search-forward] 2) ((error (byte-code "\301\301\207" [found nil] 1))) delete-other-windows 1 string-to-int 2 switch-to-buffer find-file-noselect split-window goto-line message "No more errors!"] 3 nil nil]) (defalias 'teyjus-prev-error #[nil "\305q\210\306\307\310\311\217\210`\203@`\nV\203@\312 \210\313\224\313\225{\314\315\224\315\225{!\316\317!!\210\320\f!\210\316\305!\210\321 \210\316\317!!\202C\322\323!)\207" [found teyjus-last-error teyjus-top-error filename linenumber "*teyjus*" t nil (byte-code "b\210\302 \210\303 !\207" [teyjus-last-error teyjus-error-regexp beginning-of-line re-search-backward] 2) ((error (byte-code "\301\301\207" [found nil] 1))) delete-other-windows 1 string-to-int 2 switch-to-buffer find-file-noselect goto-line split-window message "No more errors!"] 3 nil nil]) (byte-code "\301B\302\301!\204\f\303\303\207" [current-load-list filepath boundp nil] 2) #@57 Compile a module with the inferior shell running teyjus (defalias 'teyjus-compile #[(string) "\304 \210\305\306\307\"\210db\210``\310\n!\311\n!\312 \210\305\306\313\314Q\"\210\305\306\315\n\314Q\"\207" [teyjus-last-error teyjus-top-error string filepath teyjus send-string "*teyjus*" "stop.\n" expand-file-name file-name-directory save-some-buffers "#search " ".\n" "#compile "] 5 (#$ . 6482) "FCompile module: "]) (defalias 'teyjus-query-top #[nil "\300 \210\301\302\303\"\210\301\302\304\"\207" [teyjus send-string "*teyjus*" "stop.\n" "#query.\n"] 3 nil nil]) #@55 Query a module with the inferior shell running teyjus (defalias 'teyjus-query #[(file) "\303 \210\304\305\306\"\210db\210``\304\305\307\n\310Q\"\210\304\305\311\n\310Q\"\207" [teyjus-last-error teyjus-top-error file teyjus send-string "*teyjus*" "stop.\n" "#load " ".\n" "#query "] 5 (#$ . 7056) "sModule name: "]) #@29 Add a search page to teyjus (defalias 'teyjus-path #[(file) "\301 \210\302\303\304\"\210\305!\302\303\306\307Q\"\207" [file teyjus send-string "*teyjus*" "stop.\n" expand-file-name "#search " ".\n"] 5 (#$ . 7379) "FDirectory: "]) (byte-code "\301B\304\301!\204\f\305\302B\304\302!\204\305\303B\304\303!\204$\305\305\207" [current-load-list file filepat module boundp nil] 2) #@48 Compile and query the current buffer in Teyjus (defalias 'teyjus-run #[nil "\305p!\306!\307!\211\310\311O\312 \210db\210``\313 \210\314\315\316\"\210\314\315\317 \320Q\"\210\314\315\321\320Q\"\210\314\315\322\n\320Q\"\210\314\315\323\n\320Q\"\207" [file filepat module teyjus-last-error teyjus-top-error buffer-file-name file-name-directory file-name-nondirectory 0 -4 teyjus save-some-buffers send-string "*teyjus*" "stop.\n" "#search " ".\n" "#compile " "#load " "#query "] 6 (#$ . 7776) nil]) #@82 Query a module with specific goals from a file the inferior shell running Teyjus (defalias 'teyjus-goal-file #[(module file) "\306 \210\307\310\311\"\210\312 \210db\210``\307\310\313\n\314Q\"\210\307\310\315\n\314Q\"\210\316!\317!\210\320\310!\210\321!q\210\322\305!\204;\323\322\324!\204D\323\322\325!\204M\323\322\326!\204V\327 b\210m?\205\247\330 \210``\327\210`{\212\310q\210c\210\307\310\331P\"\210\332 \210db\210\333u\210\334\335h\"\203\230\307\310\336\"\210)\321!q\210 b\210\327y\210\202Y\207" [teyjus-last-error teyjus-top-error module file string currentpoint teyjus send-string "*teyjus*" "stop.\n" save-some-buffers "#load " ".\n" "#query " expand-file-name find-file switch-to-buffer file-name-nondirectory boundp 1 linebeg lineend mygoal nil beginning-of-line "\n" accept-process-output -1 char-equal 63 "n\n"] 5 (#$ . 8287) "sModule name: \nFGoals file:"]) (byte-code "\302B\306\302!\204\\\307\310 !\311\312\313 #\210\311\314\315 #\210\311\316\313 #\210\311\317\313 #\210\311\320\313 #\210\311\321\313 #\210\311\322\313 #\210\311\323\324 #\210\311\325\326 #\210\311\327\313 #\210\311\330\313 #\210\311\331\313 #\210  )\303B\306\303!\204h\332\304B\306\304!\204t\333\305B\306\305!\204\204\334\305\335\336#\337B\306\337!\204\225\334\337\340\341#\342B\306\342!\204\246\334\342\343\344#\"\345B\306\345!\204\267\334\345\346\347#%\350B\306\350!\204\310\334\350\351\352#(\353B\306\353!\204\331\334\353\354\355#+\356B\306\356!\204\352\334\356\357\360#.\302\207" [current-load-list table teyjus-mode-syntax-table iteyjus-font-lock-keywords teyjus-font-lock-keywords font-lock-moduledefs-face boundp make-syntax-table standard-syntax-table modify-syntax-entry 95 "w" 92 "\\" 47 42 43 45 61 37 "<" 10 ">" 60 62 39 (("#\\(search\\|quit\\|query\\|help\\|load\\|compile\\)\\(.\\| \\)" . font-lock-builtins-face) ("Teyjus>" . font-lock-header-face) (".+\\?\\-" . font-lock-definitions-face) ("\\?\\-" 0 font-lock-header-face t)) (("\\( +\\)\\(->\\|:-\\|=>\\|=\\|::\\|+\\|*\\|&\\|^\\|\\|<\\|>\\|>=\\|=<\\|-\\)[,. ]" 2 font-lock-connectors-face keep t) ("!" . font-lock-builtins-face) ("\\(^\\| \\)\\(module\\|sig\\) " . font-lock-moduledefs-face) ("\\([^a-z_]\\)\\([A-Z'][^]) .|,\n ]*\\)" 2 font-lock-variable-face keep t) ("\\([^a-zA-Z\"_]\\)\\(abs\\|sqrt\\|sin\\|cos\\|arctan\\|ln\\|floor||ceil\\|truncate\\|rabs\\|size\\|chr\\|string_to_int\\|substring\\|int_to_string\\|real_to_string\\|std_in\\|std_out\\|std_err\\|is\\|open_in\\|open_out\\|open_string\\|open_append\\|close_in\\|close_out\\|term_to_string\\|string_to_term\\|input\\|output\\|input_line\\|lookahead\\|eof\\|flush\\|print\\|read\\|printterm\\|readterm\\|nil\\|not\\|true\\|fail\\|pi\\|sigma\\)\\( \\)\\(abs\\|sqrt\\|sin\\|cos\\|arctan\\|ln\\|floor||ceil\\|truncate\\|rabs\\|size\\|chr\\|string_to_int\\|substring\\|int_to_string\\|real_to_string\\|std_in\\|std_out\\|std_err\\|is\\|open_in\\|open_out\\|open_string\\|open_append\\|close_in\\|close_out\\|term_to_string\\|string_to_term\\|input\\|output\\|input_line\\|lookahead\\|eof\\|flush\\|print\\|read\\|printterm\\|readterm\\|nil\\|not\\|true\\|fail\\|pi\\|sigma\\)\\([])( ^,.;[]\\)" 4 font-lock-builtins-face keep t) ("\\([^a-zA-Z\"_]\\)\\(abs\\|sqrt\\|sin\\|cos\\|arctan\\|ln\\|floor||ceil\\|truncate\\|rabs\\|size\\|chr\\|string_to_int\\|substring\\|int_to_string\\|real_to_string\\|std_in\\|std_out\\|std_err\\|is\\|open_in\\|open_out\\|open_string\\|open_append\\|close_in\\|close_out\\|term_to_string\\|string_to_term\\|input\\|output\\|input_line\\|lookahead\\|eof\\|flush\\|print\\|read\\|printterm\\|readterm\\|nil\\|not\\|true\\|fail\\|pi\\|sigma\\)\\([])( ^,.;[]\\)" 2 font-lock-builtins-face keep t) ("\\(^\\| \\)\\(accumulate\\|import\\|accum_sig\\)\\( \\)" 2 font-lock-header-face keep t) ("\\(^\\| \\)\\(type\\|kind\\|infix\\|infixl\\|infixr\\|prefix\\|prefixr\\|postfix\\|postfixl\\|local\\|exportdef\\|useonly\\)\\( \\)" 2 font-lock-definitions-face keep t) ("\\([ (]\\)\\(int\\|real\\|string\\|list\\|out_stream\\|in_stream\\)\\([ ).]\\)" 2 font-lock-types-face keep t) ("\\([^A-Za-z_]\\)\\(o\\)\\([^A-Za-z_]\\)" 2 font-lock-types-face keep t) ("[;|,]" 0 font-lock-connectors-face keep t) ("\\([^\"]\\)\\(\\\\\\)\\([^a-zA-Z\"\\\\]\\)" 2 font-lock-connectors-face t t)) custom-declare-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "Purple2")) (((class color) (background dark)) (:foreground "CornflowerBlue")) (t (t))) "Used for module definitions" font-lock-variable-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "RoyalBlue3")) (((class color) (background dark)) (:foreground "#FFFFFF")) (t (t))) "Used for variables starting with capital letters" font-lock-connectors-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "DarkGoldenrod4")) (((class color) (background dark)) (:foreground "SpringGreen2")) (t (t))) "Used for mathematical/logical connectives" font-lock-builtins-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "SpringGreen4")) (((class color) (background dark)) (:foreground "Turquoise2")) (t (t))) "Used for builtin predicates" font-lock-header-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "Magenta4")) (((class color) (background dark)) (:foreground "MediumOrchid1")) (t (t))) "Used for sig and module clauses" font-lock-definitions-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "DarkCyan")) (((class color) (background dark)) (:foreground "LightBlue")) (t (t))) "Used for type and kind definitions" font-lock-types-face ((((class grayscale) (background light)) (:foreground "DimGray" t)) (((class grayscale) (background dark)) (:foreground "LightGray" t)) (((class color) (background light)) (:foreground "Orange3")) (((class color) (background dark)) (:foreground "Orange")) (t (t))) "Used for builtin types"] 4)