3 ms·

become_programmer(Y, L) :- forall(years(Y), learn(Y, L)), make_more_money(update_resume(Y, L)), true.