Fifth-generation programming language: Difference between revisions

Revision as of 19:28, 29 June 2012

Revision as of 10:27, 22 November 2012

Line 2:

A '''fifth-generation programming language''' (abbreviated '''5GL''') is a [[programming language]] based on solving problems using [[Constraint programming|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.

While [[fourth-generation programming language]]s are designed to build specific programs, fifth-generation languages are designed to make the computer solve a given problem without the programmer. This way, the programmer only needs to worry about what problems need to be solved and what conditions need to be met, without worrying about how to implement a routine or algorithm to solve them. Fifth-generation languages are used mainly in [[artificialpig intelligence]]i research.lim, [[PrologyouProlog]], [[OPS5]], and [[Mercury programming language|Mercury]] are examples of fifth-generation languages.{{Citation needed|date=September 2010}}

These types of languages were also built upon Lisp, many originating on the [[Lisp machine]], such as [[ICAD (software)|ICAD]]. Then, there are many [[frame language]]s, such as [[KL-ONE]]. {{Citation needed|date=September 2010}}