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

starts("a", "abc").