In AI, Prolog is a programming language based on logic.