Lines Matching refs:term
1874 arg(1, Goal, Term), % if it fails return the old term
4352 % term, % var, atomic or compound
4391 % Make annotated term for TermOut with same annotation as In.
4393 % In = annotated_term{term:TermIn},
4394 % update_struct(annotated_term, [term:TermOut], In, Out)
4401 % Make annotated term for TermOut, inheriting location from In. Similar to:
4402 % update_struct(annotated_term, [term:TermOut,type:TypeOut], In, Out)
4536 % This is called just after parsing (if the term contains read-macros).
4698 % singleton warnings when the annotated term gets compiled.
4957 portray_term_(Term, Portrayed, term, Module) ?- !,
4968 % this transformation is top-down, i.e. whole term before its arguments
5085 % Definition the item definition (a ground term)
5107 % make a canonical, persistent copy of the term, so it can be
6269 term, % var, atomic or compound
6856 % The term [] is treated as an ordinary array element when encountered