I don’t think this is possible, but would like to check anyway…
I have something like this:
:- meta_predicate search(2, 1, ?, ?, +).
search(GetChildren, Goal, Origin, Destination, Options) :-
magic.
But this is verbose and putting un-intuitive arguments up front. What I’d like is something like this:
:- meta_predicate search(?, ?, [2, 1|+]).
search(Origin, Destination, Options) :-
member(get_children(GetChildren), Options),
member(goal(Goal), Options),
magic.
Is there some way to get a module sensitive argument from a list of options?
(Actual source code is public on GitLab: generic search algorithms to save some coding time for common problems)