Lines Matching refs:Count
222 local_variables(1, Args, 0, Count, M),
234 write_unification(1, Args, Count, M),
235 (Count > 1 ->
238 Count = 0 ->
283 local_variables(I, [-user(Type)|Args], C, Count, M) :-
288 local_variables(I1, Args, C, Count, M).
289 local_variables(I, [OArg|Args], C, Count, M) :-
308 local_variables(I1, Args, C1, Count, M).
309 local_variables(I, [+string(_)|Args], C, Count, M) :-
313 local_variables(I1, Args, C, Count, M).
314 local_variables(I, [+user(Type)|Args], C, Count, M) :-
319 local_variables(I1, Args, C, Count, M).
320 local_variables(I, [_|Args], C, Count, M) :-
322 local_variables(I1, Args, C, Count, M).