Более новый язык программирования, чем Prolog для логического программирования

Есть ли более новый язык, чем Prolog, специализированный для логического программирования?