What are some Examples of 5GL?

Fifth-generation programming languages (5GL) focus on solving problems using constraints rather than through explicit programming. Examples include Prolog, which is used in Artificial Intelligence for logical programming, and Mercury, designed for high-performance logic programming. Other examples are SQL for database query languages and various domain-specific languages tailored for specific applications, such as MATLAB for numerical computing. These languages emphasize problem-solving and automate much of the coding process.