]> git.eshelyaron.com Git - dict.git/commit
ADDED: context-based command for inserting new clauses or terms
authorEshel Yaron <me@eshelyaron.com>
Sat, 22 Oct 2022 16:10:08 +0000 (19:10 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 22 Oct 2022 16:10:08 +0000 (19:10 +0300)
commit751c8e56470d60e12062d02b2d56eeadf5a478de
tree4c2037a78626232331cbb372ffcc04e31b23a136
parent611826cd57a16fa8c852bfaba807897949efd8ed
ADDED: context-based command for inserting new clauses or terms

* sweeprolog.el (sweeprolog--forward-hole, sweeprolog--backward-hole):
new functions.
(sweeprolog-forward-hole): new command.
(sweeprolog-end-of-predicate-definition,sweeprolog-insert-clause,
sweeprolog-maybe-insert-next-clause,
sweeprolog-maybe-define-predicate): new functions.
(sweeprolog-insert-term-functions): new hook.
(sweeprolog-insert-term-dwim): new command.
(sweeprolog-mode-map): bind new commands.
* sweeprolog-tests.el (dwim-define-predicate): new test case.
* README.org (Context-Based Term Insertion): new section.
NEWS.org
README.org
sweeprolog-tests.el
sweeprolog.el