]> git.eshelyaron.com Git - sweep.git/commit
projects / sweep.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9228952) | patch
ADDED: command for finding terms subsumed by a given term
authorEshel Yaron <me@eshelyaron.com>
Tue, 3 Jan 2023 22:22:34 +0000 (00:22 +0200)
committerEshel Yaron <me@eshelyaron.com>
Tue, 3 Jan 2023 22:22:34 +0000 (00:22 +0200)
commita36ba90933a26426249b2a06c531863ee540037e
tree3c38d5bf4e1bcae13d64df9f59be6b9c47651d2ctree | snapshot
parent922895279eb090c1a63ddb35dfe4e7194865e8b1commit | diff
ADDED: command for finding terms subsumed by a given term

* sweep.pl (sweep_term_search/2): new predicate.
* sweeprolog.el (sweeprolog-term-search-in-buffer): new function.
(sweeprolog-term-search): new command.
* README.org ("Term Search"): new manual section.
README.org diff | blob | history
sweep.pl diff | blob | history
sweeprolog-tests.el diff | blob | history
sweeprolog.el diff | blob | history
SWI-Prolog Embedded in Emacs