IBM interview question

What is Prolog in AI