Prolog
Concise Oxford English Dictionary © 2008 Oxford University Press:
Prolog /ˈprəʊlɒg/
▶noun Computing a high-level computer programming language first devised for artificial intelligence applications.
'Prolog' also found in these Oxford entries:

