Definition
Prolog is a logic programming language, quite different from imperative languages like Python or Java. It uses facts and rules to solve problems, focusing on 'what' rather than 'how.' It's commonly used in AI, natural language processing, and expert systems. Imagine it as a detective solving a case using clues and deductions. It excels at logical puzzles and knowledge representation. Its declarative nature is its key feature.