#спецпроект_цифлаба «Самое сложное – сделать просто» – говорил всемирно известный изобретатель Михаил Калашников. Без сомнений, реализации этого принципа с успехом добились создатели PROLog, цифровых лабораторий для проведения экспериментов естественно-научного цикла в школе и детском саду...

Сегодня мой друг Стефан, который занимался разработкой компиляторов в университете (у меня такого курса не было), сказал такую вещь: "Шаблоны в С++ по своей выразительности срисованы с Пролога". И я прозрел. Я хорошо понимал Пролог в институте, но связать с шаблонами не мог. Оказалось что они очень и очень похожи. И для того, чтобы показать это, мы сейчас напишем сортировку в compile-time. Основной языка Пролог является механизм сопоставления с шаблоном (pattern matching), поэтому сортировка Хоара...