Логическое программирование без Пролога

Существуют ли какие-либо хорошие языки логического программирования, отличные от Prolog или основанные на Prolog?

У кого есть или есть хороший опыт работы с ним?