Lines Matching refs:ArgList
320 append(L1, MetaArgs, ArgList),
322 Body =.. [FirstRuleF|ArgList],
383 Head =.. [F|ArgList],
387 fill_current_head(CHead, A, Nth,NRule, ArgList, IndexHeadArgs,MetaArgs),
442 fill_in_try_otherrest([f(ArgList,TobeFilled)|Others], Name) :-
444 TobeFilledGoal =.. [Name|ArgList],
679 /* fill_current_head(+CurrentHead, +OriginalArity, +Nth, +NRule, +ArgList,
687 needed for indexing. ArgList is a list of the original arguments in the
693 fill_current_head(CHead, A, Nth, NRule, ArgList, IndexHeadArgs, MetaArgs) ?-
697 fill_original_args(0, A, NRule, ArgList, CHead),
711 fill_original_args(N0, Max, NRule, [Arg|ArgList], CHead) :-
715 fill_original_args(N1, Max, NRule, ArgList, CHead).