calc(Atom) :- term_to_atom(Expr, Atom), A is Expr, write(A), nl.