Esistono interpreti prolog che possono decomporre funzionalmente i tuoi "programmi" al fine di migliorare l'efficienza?
So che c'è stata una ricerca sugli interpreti prolog che raggiungono velocità in C vicino al parallelismo (il tipo che un tipico programmatore C non può "vedere"). Qualcuno ne sa di più su questo argomento?