Logic programming is a programming paradigm based on formal logic. It enables developers to write programs by specifying a set of facts and rules, from which the system infers conclusions. Prolog is one of the most well-known logic programming languages, widely used in AI for tasks involving knowledge representation and automated reasoning.