]> git.eshelyaron.com Git - sweep.git/commit
projects / sweep.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bca5fb) | patch
ENHANCED: Improve 'sweeprolog-extract-region-to-predicate'
authorEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:38:45 +0000 (14:38 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 7 Oct 2023 12:42:31 +0000 (14:42 +0200)
commit6a9bfd36518539c1c5c513e02057a413103f46dc
treef2696120b2294d4b017de0625183969d4910bf85tree | snapshot
parent2bca5fbdc2b6e4d0f5302b1d5a5b54a14e0b9fa9commit | diff
ENHANCED: Improve 'sweeprolog-extract-region-to-predicate'

Teach 'sweeprolog-extract-region-to-predicate' about existentially
quantified goals and lambda terms.

* sweep.pl (sweep_term_variable_names/2): Remove from export list.
* sweep.pl (sweep_extract_goal/2): New public predicate.
* sweeprolog.el (sweeprolog-extract-region-to-predicate): Use it.
* sweeprolog-tests.el: Test it.
* sweep.texi (Extract Goal): Update documentation.
sweep.pl diff | blob | history
sweep.texi diff | blob | history
sweeprolog-tests.el diff | blob | history
sweeprolog.el diff | blob | history
SWI-Prolog Embedded in Emacs