Definition of "Prolog" :

noun: a computer language designed in Europe to support natural language processing