Esistono interpreti di prolog che possono decomporre funzionalmente i tuoi "programmi" per migliorare l'efficienza?
So che ci sono state ricerche sugli interpreti di prolog che raggiungono velocità vicine alla C attraverso il parallelismo (il tipo che un tipico programmatore C non può "vedere"). Qualcuno sa di più su questo argomento?
Risposte:
Alcuni punti di partenza
Potresti voler consultare questo documento di ricerca: http://www.mendeley.com/research/implementation-parallel-prolog-interpreter-multiprocessors/
Inoltre, questo documento di prova del concetto di prologo su Python presenta alcuni suggerimenti interessanti: http://www.mendeley.com/research/a-prolog-interpreter-in-python/