Adakah penerjemah prolog yang secara fungsional dapat menguraikan 'program' Anda untuk meningkatkan efisiensi?
Saya tahu ada penelitian tentang prolog interpreter yang mencapai kecepatan mendekati-C melalui paralelisme (jenis yang tidak bisa "dilihat" oleh programmer C yang khas). Adakah yang tahu lebih banyak tentang topik ini?
Jawaban:
Beberapa poin awal
Anda mungkin ingin melihat ke dalam makalah penelitian ini: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/
Juga, Prolog tentang bukti makalah konsep Python ini memiliki beberapa petunjuk menarik: http://www.mendeley.com/research/a-prolog-interpreter-in-python/