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)