Пролог параллелизма

Существуют ли какие-либо интерпретаторы прологов, которые могут функционально разложить ваши «программы» для повышения эффективности?

Я знаю, что проводились исследования по интерпретаторам прологов, которые достигают скоростей, близких к C, благодаря параллелизму (то, что обычный программист на C не может «увидеть»). Кто-нибудь знает больше об этой теме?

Некоторые отправные точки

Возможно, вы захотите ознакомиться с этим исследовательским документом: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Кроме того, этот концептуальный документ по Прологу на Python содержит несколько интересных ссылок: http://www.mendeley.com/research/a-prolog-interpreter-in-python/