Prolog language is highly used in Artificial Intelligence.It is also very efficient and used greatly in logic based programming and pattern matching programs. The main programs where you can use prolog are those that include symbolic or non-numeric computations.You can also use it in natural language understanding and use it in expert systems like MYCIN.