Home
lambdaYacc
Emacs Module
String Package
Links
Teyjus Mode for Emacs
I have developed an Emacs interface for Teyjus and Lambda Prolog. Teyjus mode has the following features:
- Syntax highlighting for Lambda Prolog files
- Ability to run Teyjus as an inferior process in Emacs
- Commands to compile, query, and find errors in modules in Teyjus
If you have any comments, questions, suggestions, or problems, please email me at kamal@cs.cornell.edu.
Here is a list of the commands available, which also appear in the Teyjus mode menu
| Command | Shortcut | Function |
|---|---|---|
M-x teyjus | Starts teyjus in Emacs | |
M-x teyjus-path | Manually add a search path | |
M-x teyjus-compile | C-c c | Compile a module |
M-x teyjus-query | C-c q | Load and query a specific module |
M-x teyjus-query-top | Query Teyjus at the top level | |
M-x teyjus-run | C-c r | Compile, load, and query the current buffer's module |
M-x teyjus-next-error | C-c n | Find the next compilation error in the source file |
M-x teyjus-prev-error | C-c p | Find the previous compilation error in the source file |
M-x teyjus-goal-file | Query a module with the goals in the specified file |
See the Teyjus mode file itself for issues and problems to be fixed.
Requirements
- Emacs (tested on versions 20 and 21)
- The comint Emacs package, which should already be installed
- Teyjus implementation of lambad Prolog
- The following lines must be added to your
.emacsfile to use Teyjus mode.(setq auto-mode-alist (cons '("\\.mod\\'" . teyjus-edit-mode) auto-mode-alist))
(setq auto-mode-alist (cons '("\\.sig\\'" . teyjus-edit-mode) auto-mode-alist))
(setq explicit-lprolog-file-name "TEYJUS EXECUTABLE")
(autoload 'teyjus "teyjus" "Run an inferior Teyjus process." t)
(autoload 'teyjus-edit-mode "teyjus" "Syntax Highlighting, etc. for Lambda Prolog" t)
where "TEYJUS EXECUTABLE" is the command to run teyjus
Download
Latest Version - 28 May 2002 - teyjus.el