Calling emacs from Prolog

Author(s): The CLIP Group.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#110 (2003/12/22, 18:14:0 CET)

This library provides a prolog-emacs interface. This interface is complementary to (and independent from) the emacs mode, which is used to develop programs from within the emacs editor/environment. Instead, this library allows calling emacs from a running Prolog program. This facilitates the use of emacs as a "user interface" for a Prolog program. Emacs can be made to:

• Visit a file, which can then be edited.
• Execute arbitrary emacs lisp code, sent from Prolog.

In order for this library to work correctly, the following is needed:

• You should be running the emacs editor on the same machine where the executable calling this library is executing.
• This emacs should be running the emacs server. This can be done by including the following line in your .emacs file:

  ;; Start a server that emacsclient can connect to.
  (server-start)
  

  Or typing M-x server-start within emacs.

This suffices for using emacs to edit files. For running arbitrary code the following also needs to be added to the .emacs file:

(setq enable-local-eval t)

Allows executing lisp code without asking.

(setq enable-local-eval nil)

Does not allow executing lisp code without asking.

(setq enable-local-eval 'maybe)

Allows executing lisp code only if user agrees after asking (asks interactively for every invocation).

Examples:

Assuming that a .pl file loads this library, then:

..., emacs_edit('foo'), ...

Opens file foo for editing in emacs.

..., emacs_eval_nowait("(run-ciao-toplevel)"), ...

Starts execution of a Ciao top-level within emacs.

• Usage and interface (emacs)
• Documentation on exports (emacs)

Usage and interface (emacs)

Documentation on exports (emacs)

PREDICATE: emacs_edit/1:

Usage:

• Description: Opens the given file for editing in emacs. Waits for editing to finish before continuing.
• The following properties should hold at call time: Arg1 is an atom which is the name of a file. (emacs:filename/1)

PREDICATE: emacs_edit_nowait/1:

Usage:

• Description: Opens the given file for editing in emacs and continues without waiting for editing to finish.
• The following properties should hold at call time: Arg1 is an atom which is the name of a file. (emacs:filename/1)

PREDICATE: emacs_eval/1:

Usage:

• Description: Executes in emacs the lisp code given as argument. Waits for the command to finish before continuing.
• The following properties should hold at call time: Arg1 is a string containing emacs lisp code. (emacs:elisp_string/1)

PREDICATE: emacs_eval_nowait/1:

Usage:

• Description: Executes in emacs the lisp code given as argument and continues without waiting for it to finish.
• The following properties should hold at call time: Arg1 is a string containing emacs lisp code. (emacs:elisp_string/1)

REGTYPE: elisp_string/1:

Usage: elisp_string(L)

• Description: L is a string containing emacs lisp code.

Go to the first, previous, next, last section, table of contents.