Prolog is a programming language that uses first order logic. It is the most used logic programming language. It is a declarative programming language. Alain Cormerauer, a French computer scientist created Prolog in the early 1970s.