Fifth-generation programming language
（重定向自5GL）
A fifth generation programming language (abbreviated as 5GL) is a programming language based on solving using constraints given to the program, rather than using an algorithm written by a programmer. Most constraint-based and logic programming languages and some declarative languages are fifth-generation languages.