Fifth-generation programming language
A fifth-generation programming language is a high-level programming language based on problem-solving using constraints given to the program, rather than using an algorithm written by a programmer. Wikipedia