IBM Interview Question

What is Prolog in AI