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.
This category is about the Prolog programming language. Submit implementations in the corresponding sub category. Be careful and take your time.