starts(Atom,Character) :- starts(X, [X|_]).

starts(a, abc).