Интересно будет попробовать функциональный стиль программирования и программирование основанное на правилах ( rule-based programming ). Наиболее известные представители — Háskell и wolfram mathematica. О математике как о языке программирования хорошая книга Mathematica.Cookbook.