Fifth-generation programming language: Difference between revisions

Revision as of 11:55, 14 April 2010

Revision as of 20:42, 17 April 2010

Line 1:

{{COI-check|date=May 2009}}

A '''fifth-generation programming language''' (abbreviated '''5GL''') is a [[programming language]] whichbased ''will''around radicallysolving changeproblems using [[Constraint programming.|constraints]] Fifthgiven generationto languagesthe ''will''program, replacerather mostthan ofusing currentan 3GL[[algorithm]] andwritten someby ofa currentprogrammer. 4GLMost languagesconstraint-based becauseand of[[logic muchprogramming]] muchlanguages betterand programmersome productivitydeclarative andlanguages codeare qualityfifth-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 [[artificial intelligence]] research. [[Prolog]], [[OPS5]], and [[Mercury programming language|Mercury]] are examples of fifth-generation languages.

We will be able to recognize fifth generation of languages only when they ''will'' overtake fourth and third generation. See also «Common misconception» below.

These types of languages were also built upon Lisp, many originating on the [[Lisp machine]], such as [[ICAD]]. Then, there are many [[frame language]]s, such as [[KL-ONE]].

In the 1990s, fifth-generation languages were considered to be the wave of the future, and some predicted that they would replace all other languages for system development, with the exception of low-level languages.{{Citation needed|date=July 2009}} Most notably, from 1982 to 1993 [[Japan]]<ref name="Ref1">{{cite web|url=http://www.atariarchives.org/deli/fifth_generation.php|title=FIFTH-GENERATION COMPUTERS|accessdate=2008-03-05|author=Richard Grigonis}}</ref><ref name="Ref2">{{cite web|url=http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/|title=Association for Logic Programming (ALP)|accessdate=2008-03-05|author=ALP}}</ref> put much research and money into their [[fifth generation computer systems project]], hoping to design a massive computer network of machines using these tools.

Line 14 ⟶ 16:

==See also==

*[[Constraint programming]]

*[[Limnor|Limnor Studio]]

{{Programming language generations}}