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

starts('a', 'abc').