What Is Prolog Language?

Prolog (short for Programming in Logic) is a logic programming language. It is based on the theory of logic and was originally used in research fields such as natural language.