Mathematica: что такое символическое программирование?

Я большой поклонник Стивена Вольфрама, но он определенно не стесняется играть в свой рог. Во многих ссылках он превозносит Mathematica как другую парадигму символического программирования. Я не пользуюсь системой Mathematica.

Мои вопросы: что это за символическое программирование? И как это соотносится с функциональными языками (такими как Haskell)?