Логическое моделирование на языке Curry

Меня зовут разработчиком редкого профиля: я пишу на языке Curry, где функциональный стиль Haskell сплавлен с логическим программированием. Беру заказы, в которых суть проблемы — это отношения и правила, а не пошаговая инструкция. Вместо того чтобы вручную кодировать обход вариантов, я формулирую условия задачи, а механизм сужения и недетерминированного вычисления сам ищет подходящие значения свободных переменных. Такой подход даёт короткий и наглядный код там, где на императивном языке вырос бы громоздкий перебор. За плечами — решатели головоломок, планировщики, генераторы расписаний, разборщики текстов и компактные предметные мини-языки. Работаю преимущественно в PAKCS и KiCS2, понимаю, из-за чего пространство поиска раздувается, и ставлю ограничения пораньше, чтобы отсечь тупиковые ветви. Обычно процесс строится так: сначала фиксируем требования, затем я выражаю область через алгебраические типы и сопоставление с образцом, ввожу выбор и логические переменные, а наружу отдаю уже детерминированный, удобный для тестов интерфейс. На выходе вы получаете прокомментированные исходники, пояснительную записку по устройству модели, тесты и живой созвон, где я провожу вашу команду по коду. Отдельно выручаю исследователей: делаю эталонные реализации к публикациям, учебные заготовки и воспроизводимые пакеты для экспериментов. Если задача комбинаторная или построена на правилах и хочется прозрачного решения вместо непонятного чёрного ящика — язык Curry тут раскрывается наилучшим образом, и я охотно возьмусь.