5GL）是一种期望计算机能自动化问题求解的意图，基于问题所给定的某些限制，交由程序来处理而不需以程序员再投入人力开发程式。多数基于限制式和逻辑推演的编程语言，以及其它一些宣告式的语言，或可归类为第五代编程语言。
历史.虽然第四代程式语言是为了构建特定的程序而设计的，但第五代语言的设计目的是使计算机在没有程序员的情况下，解决特定的问题。这样，使用者只要提出哪些问题待解，而问题的可行解要满足哪些条件；而不必再思考如何实作程序或演算法来求解。第五代语言主要用于人工智能研究。Prolog、