]> git.eshelyaron.com Git - dict.git/commit
Use new prolog_interrupt/0 to interrupt top-level threads
authorEshel Yaron <me@eshelyaron.com>
Mon, 21 Nov 2022 18:39:33 +0000 (20:39 +0200)
committerEshel Yaron <me@eshelyaron.com>
Mon, 21 Nov 2022 18:40:02 +0000 (20:40 +0200)
commitec8ef75bc2183336e05b083337801745c4ac9546
treea26b8bfb7df25530aa6a4f576f6d8e08c618071c
parent560ba07e9220aab5f56091ee028da3aa3b4ee5b7
Use new prolog_interrupt/0 to interrupt top-level threads

* sweeprolog.el (sweeprolog-top-level-signal-default-goal): change
default value to...
* sweep.pl (sweep_interrupt/0): new predicate, backwards compatibility
wrapper for prolog_interrupt/0.
README.org
sweep.pl
sweeprolog.el