автоматов» (да и у SQL, на самом деле)
Описываем отношения неких сущностей, накладываем на них (отношения и сущности) ограничения, и если данных достаточно - решаем уравнение :)
Такой уровень абстракции, что в любом нетривиальном коде на прологе нужно сильно приседать с порядком поиска и отсечением
Всё так, в тех уровнях абстракции нужны удобные инструменты - интерактивная IDE с режимом «а что, если», чтобы программист сразу видел результаты своего влияния на АСТ (видел выведенные типы, цепочки вызовов, пайпы распространения изменения состояния и т.п.)
Да нет там абстракции, она безбожно протекает
Да, по сути прост интерактивную среду для моделирования конечных автоматов и взаимодействий между ними делаю :)
Обсуждают сегодня