PROLOG
PROLOG 〈prològ〉 [ELT] [INF] Sigla di pro(gram-ma) log(ico) per indicare un linguaggio logico di programmazione in cui il programma è costituito da un insieme di asserzioni e di regole su un insieme di oggetti e sulle relazioni che li legano, chiamato base di conoscenza: v. linguaggi di programmazione: III 428 e.