]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: Support refining term searches with arbitrary goals
authorEshel Yaron <me@eshelyaron.com>
Fri, 6 Jan 2023 07:16:33 +0000 (09:16 +0200)
committerEshel Yaron <me@eshelyaron.com>
Fri, 6 Jan 2023 09:41:09 +0000 (11:41 +0200)
commita16ea87e1197208896b49f185032828bce818b85
tree957b7dc11112f47b55b52a4722eee3ff189f555c
parent42d2f4d3010edbe00923e68c0fc332f737ac4dd9
ENHANCED: Support refining term searches with arbitrary goals

* sweep.pl (sweep_term_search/2): extend with an extra goal argument.
* sweeprolog.el (sweeprolog-read-term): new function, similar to
read--expression but for Prolog terms rather than Elisp expressions.
(sweeprolog-term-search): use it, and prompt for goal with prefix arg.
README.org
sweep.pl
sweeprolog.el