Option for named arguments in macros

[jeremyirilli]

To allow something like:

macro(pbinom/5, all, [-, +, +, /, /], [hook(r), pattern([_, _, , bool(false), bool()]), names([q, size, prob, 'lower.tail', 'log.p'])]).

This will create interval_ clauses as before, but the arguments are named:

interval_(pbinom(atomic(q)=A...B, atomic(size)=C...D, atomic(prob)=E...F, atomic('lower.tail')=bool(false), atomic('log.p')=bool(G)), H, _Flags) :-
   eval(r(pbinom(B, C, E, false, G)), L), 
   eval(r(pbinom(A, D, F, false, G)), U), 
   !, Res=L...U).

...

[jeremyirilli]

Are you keeping this open on purpose?