Логическое программирование

Парадигма интересная, но показалось, что среди всех эта наименьше популярная. Например, по ФП-языкам на хабре и других ресурсах вижу хайп.
Хотел бы поработать с ней чуть-чуть для поверхностного ощущения, но боюсь трогать Пролог, так как кажется старым.
Валентин Евгеньевич, что посоветуйте?

Пролог будет в третьем семестре на ПМИ от моих блестящих учеников к.ф.-м.н. по функциональному и логическому программированию Дмитрия Сошникова и Марии Левинской.