Did you know ... Search Documentation:
White space normalization

4.24.2 White space normalization

normalize_space(-Out, +In)
Normalize white space in In. All leading and trailing white space is removed. All non-empty sequences for Unicode white space characters are replaced by a single space (\u0020) character. Out uses the same conventions as with_output_to/2 and format/3.

Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • trim
Jan Wielemaker said (2014-10-07T14:51:04):0 upvotes 0 0 downvotes
Picture of user Jan Wielemaker.

For example (note that \n is a newline):

?- normalize_space(atom(Out), '  \nhello\nworld ').
Out = 'hello world'.