]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: use argument names for holes in predicate completion
authorEshel Yaron <me@eshelyaron.com>
Sun, 27 Nov 2022 19:08:14 +0000 (21:08 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 27 Nov 2022 19:08:14 +0000 (21:08 +0200)
commit33323c75863b3b3ad8313161d29c59546e40191b
treefb66694a8102ab77b1d579f138102411a2ac8013
parent4b494f9c90ad279c256b4af2f1a56a4c9a327f13
ENHANCED: use argument names for holes in predicate completion

* sweep.pl (predicate_argument_names/2): new predicate.
(sweep_format_predicate/2): use it, and revise into...
(sweep_format_predicate/4): new predicate.
(sweep_predicate_completion_candidates): use it.
sweep.pl