]> git.eshelyaron.com Git - dict.git/commit
ADDED: command to pipe output of Prolog goals to Emacs buffers
authorEshel Yaron <me@eshelyaron.com>
Sun, 22 Jan 2023 06:13:15 +0000 (08:13 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 22 Jan 2023 07:01:54 +0000 (09:01 +0200)
commita9d0eb222f6efc128d1280db0669820d061b5149
tree0fd3351cf1e3914535ea7aa38c1e04856877b09e
parent8443e4199f8bf77835e0604dc26916851207f838
ADDED: command to pipe output of Prolog goals to Emacs buffers

* sweep.c (sweep_open_channel(), sweep_fd_open()): new helper
functions for obtaining Prolog streams from Emacs pipe buffers.
* sweep.pl (sweep_async_goal/2, sweep_interrupt_async_goal/2): new
predicates.
* sweeprolog.el (sweeprolog-async-goal): new command, executes a goal
in a separate thread and redirects its output to a buffer with mode..
(sweeprolog-async-goal-output-mode): new major mode, derived from
Compilation mode.
(sweeprolog-mode-map, sweeprolog-prefix-map, sweeprolog-menu): bind
sweeprolog-async-goal.
* README.org (Executing Prolog Asynchronously): new manual section.
README.org
sweep.c
sweep.pl
sweeprolog.el