Logical programming is a paradigm in computer science where problems are solved through the application of formal logic and rule-based reasoning.