Чи є перекладачі прологів, які можуть функціонально розкласти ваші "програми" з метою підвищення ефективності?
Я знаю, що проводилися дослідження про інтерпретаторів прологів, які досягають близько-швидкості через паралелізм (такий, який типовий програміст на C не може "бачити"). Хтось знає більше на цю тему?
Відповіді:
Деякі вихідні точки
Ви можете заглянути в цей дослідний документ: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/
Крім того, цей концепт-папір Prolog на Python має кілька цікавих результатів: http://www.mendeley.com/research/a-prolog-interpreter-in-python/