Какие современные языки логического программирования существуют?

Всем привет.
Когда-то давно я прочитал, что разновидностей языков программирования не много. Процедурные, функциональные, логические и ООП. Время шло, на смену Smalltalk пришёл C++, появились питоны и эрланги. И только с Прологом что-то пошло не так. Я не смог нагуглить ни одного современного языка логического программирования. Есть ли они? Или я просто не умею гуглить?