A logic-based, multi-paradigm language that integrates functional, logic, and imperative programming features designed for general-purpose applications, especially known for its modeling and constraint-solving capabilities.