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

M-x teyjusStarts teyjus in Emacs
M-x teyjus-pathManually add a search path
M-x teyjus-compileC-c cCompile a module
M-x teyjus-queryC-c qLoad and query a specific module
M-x teyjus-query-topQuery Teyjus at the top level
M-x teyjus-runC-c rCompile, load, and query the current buffer's module
M-x teyjus-next-errorC-c nFind the next compilation error in the source file
M-x teyjus-prev-errorC-c pFind the previous compilation error in the source file
M-x teyjus-goal-fileQuery a module with the goals in the specified file

See the Teyjus mode file itself for issues and problems to be fixed.


  • 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 .emacs file 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


Latest Version - 28 May 2002 - teyjus.el