parse(S) :- atom_chars(S,Chars), digits(Chars,[]).

digit --> ['0'].
digit --> ['1'].

digits --> [].
digits --> digit, digits.
