Prolog-Parallelität

Gibt es Prolog-Interpreter, die Ihre "Programme" funktional zerlegen können, um die Effizienz zu verbessern?

Ich weiß, dass Prologdolmetscher untersucht wurden, die durch Parallelität Geschwindigkeiten nahe C erreichen (die Art, die ein typischer C-Programmierer nicht "sehen" kann). Weiß jemand mehr über dieses Thema?

Einige Ausgangspunkte

Vielleicht möchten Sie sich dieses Forschungspapier ansehen: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Außerdem enthält dieses Proof-of-Concept-Papier zu Prolog on Python einige interessante Hinweise: http://www.mendeley.com/research/a-prolog-interpreter-in-python/