Нашел тут то, что и не надеялся найти. Какие-то французы написали язык программирования Catala, который применяется для формализации законодательства. То, что нужно. Уже перевел нужные разделы на русский - буду тестировать. Через пару недель выступаю на большой конференции - посмотрим, что успею сделать..