Prolog.

Inf. - Linguaggio di programmazione ad alto livello dedicato in particolare alla realizzazione di sistemi di intelligenza artificiale.