Lines Matching refs:A3
345 append_args(HeadPrefix, [T, A1, A3, N0, Ar], Head1),
347 append_args(HeadPrefix, [T, A2, A3, N, Ar], Recursion),
364 A1 = A3)
383 append_args(HeadPrefix, [T, A1, A3, N], Head1),
385 append_args(HeadPrefix, [T, A2, A3, N1], Recursion),
537 sumargs(Pred, Term, A1, A3, N, Module) :-
541 sumargs(Pred, Term, A2, A3, N1, Module).
581 sumnodes(Pred, Term, A1, A3, N0, Ar, Module) :-
586 sumnodes(Pred, Term, A2, A3, N, Ar, Module)
588 A1 = A3.