]> git.eshelyaron.com Git - sweep.git/commit
ADDED: New command 'sweeprolog-extract-region-to-predicate'
authorEshel Yaron <me@eshelyaron.com>
Fri, 8 Sep 2023 17:25:44 +0000 (19:25 +0200)
committerEshel Yaron <me@eshelyaron.com>
Fri, 8 Sep 2023 17:28:02 +0000 (19:28 +0200)
commit39f7e40e68cf213f0eb76c7b810083e6e06e1026
treec0a807394fefc1d4bbe7202ca54c09e8fb7132aa
parentd9dfccd397780e78ac8d6841912de84baa74aefc
ADDED: New command 'sweeprolog-extract-region-to-predicate'

Add a command for extracting a part of a clause body into a separate
predicate.

* sweep.pl (sweep_term_variable_names/2)
(sweep_goal_may_cut/2): New helper predicates.
* sweeprolog.el (sweeprolog-extract-region-to-predicate): New command.
(sweeprolog-maybe-extract-region-to-predicate): New function.
(sweeprolog-insert-term-functions): Add it.
* sweep.texi (Insert Term DWIM, Extract Goal): Document it.
sweep.pl
sweep.texi
sweeprolog.el