Ciao, più tardi quando torno a casa scarico Emacs e lo provo un po'. Grazie del suggerimento
.
Cmq per il problema in SWI Prolog, è proprio li il punto: devi cliccare su ogni singola linea di codice per fartela colorare, peraltro in modo "sbagliato". Se cancelli una regola dal quel file di test, e chiudi e riapri SWI Prolog, vedrai che il codice verrà tutto colorato istantaneamente, senza dover cliccare niente. Inoltre i colori saranno diversi, ad es. "say_hello" prima della cancellazione sarà di colore rosso, dopo la cancellazione di colore nero (e il nero ad es. mi serve per capire se ho fatto o meno un errore di battitura).