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