:- initialization(run).

run :-
   writeq(run-
11), nl,
   run2,
   fail.

run2 :-
   ( Cs = [;] ; Cs = [a] ),
   writeq(Cs),nl,
   catch(read_term_from_chars(Cs,_),error(syntax_error(_),_),fail).