Lines Matching refs:list
480 threshold length for treating list specially
506 translate_pos(list(N), Out) ?-
531 provide_childnodes(list, Path, Term, _, LSize, Reply, Module) ?- !,
555 term_string(list(ListPos0), Pos0S),
557 ((TType == list, ListPos0 < LSize) ->
656 ; C = [_|_] -> % a list (may be non-proper)
657 Type = list
678 %valid_pos(list(N0), N) ?- integer(N0), !, N = N0.
708 get_functorarity(list, _, F, A) ?- !,
755 get_subterm_child(list(Pos), Current0, Top, Child, Module) ?- !,
803 position_modifier(list(N), Modifier) ?- !,
946 creates a term display matrix. Matrix is either a list or a matrix of
949 list the demon's suspension would be added to, and Name is the name
956 List = [_|_], !, % is a list
1069 (\+member(NewMat, Mats) -> % \+member because 0 terminates list
1651 % list_files/1 returns a list of lists of strings of the form
1714 % list (0), or from the symbolic trigger Trigger (1)