在没有程序员的情况下，解决特定的问题。这样，使用者只要提出哪些问题待解，而问题的可行解要满足哪些条件；而不必再思考如何实作程序或演算法来求解。第五代语言主要用于人工智能研究。Prolog、和Mercury是第五代语言的例子。这类型的语言很多源自于Lisp机器，以 Lisp 编程语言开发，例如。而后有许多，如。在20世纪80年代第五代编程语言被认为是未来的方式，有些人预测除了低阶机器组合语言之外，第五代编程语言将取代所有其它高阶语言进行系统开发。值得一提的是从 1982年到了 1993年，日本在第五代