Did you know ... Search Documentation:
doc_util.pl -- PlDoc utilities
PublicShow source
author
- Jan Wielemaker
Source insert_alias(+Path0, -Path) is det
Translate a native path to an aliased path. Path aliases are defined by path_alias/2. Aliased paths are re-translated into native form using expand_alias/2.
Source expand_alias(+Path0, -Path) is det
Translate an aliased path to a native path.
Source path_alias(?Alias, ?Path) is nondet[private]
True if Alias: is an alias for Path. This is used to rewrite paths below the SWI-Prolog home to give them shorter and fixed names.
Source ensure_slash_end(+Dir, -DirSlash) is det
Ensure Dir ends with a /.
Source atom_pi(+Atom, -PI) is det
Translate an external predicate indicator representated as an atom into a predicate indicator term. If Atom contains <module>:, PI is qialified. If no arity is provided it is a term Name/_, i.e., with unbound arity.
Source atom_to_object(+Atom, -PredicateIndicator) is semidet
If Atom is `Name/Arity', decompose to Name and Arity. No errors.
Source normalise_white_space(-Text)// is det
Text is input after deleting leading and trailing white space and mapping all internal white space to a single space.
 non_ws(-Text, ?Tail) is det[private]
True if the difference list Text-Tail is the sequence of non-white-space characters.