Prolog is a logic based artificial intelligence language. It differs from Lisp in terms of the execution control which is based on unification and first order logic.