Are there any prolog interpreters that can functionally decompose your 'programs' in order to improve efficiency?

I know there's been research on prolog interpreters that reach near-C speeds through parallelism (the kind that a typical C programmer can't "see"). Does anyone know more about this topic?


Some starting points

You might want to look into this research paper: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/

Also, this Prolog on Python proof of concept paper has some interesting leads: http://www.mendeley.com/research/a-prolog-interpreter-in-python/

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.