testNumberCharsSpace

Tests the query

?- number_chars(X,['\n','3']).

succeeds on a solver initialized with default built-ins and with an empty theory, producing 1 solution which binds variable X to 3 (leading whitespace is skipped while parsing the character list).