/usr/lib/swipl/library/ext/pldoc/pldoc/doc_modes.pl
All Application Manual Name SummaryHelp

 mode(:Head, ?Det) is nondet
True if there is a mode-declaration for Head with Det.
Arguments:
Head- Callable term. Arguments are a mode-indicator followed by a type.
Det- One of unknown, det, semidet, or nondet.