это не язык, а мат.логика - развивает логику. только не понятно, как это все записывать нужно.
через рекурсивность должно решаться.