Take the 2-minute tour ×
Programmers Stack Exchange is a question and answer site for professional programmers interested in conceptual questions about software development. It's 100% free, no registration required.

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?

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

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/

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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