atomCharsTestOneCharIsVar

Tests the queries

?- atom_chars(test,[t,e,s,T]).

succeeds. producing 1 solution which binds variable T to t.