Existe-t-il des interprètes prolog qui peuvent décomposer fonctionnellement vos «programmes» afin d'améliorer l'efficacité?
Je sais qu'il y a eu des recherches sur les interprètes prologues qui atteignent des vitesses proches du C par le parallélisme (le genre qu'un programmeur C typique ne peut pas "voir"). Quelqu'un en sait-il plus sur ce sujet?