Fifth-generation programming language: Difference between revisions

Revision as of 08:23, 6 June 2009

Revision as of 22:53, 5 July 2009

Line 6:

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.{{fact}} 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.

However, as larger programs were built, the flaws of the approach became more apparent. It turns out that, starting from a set of constraints defining a particular problem, deriving an efficient algorithm to solve it is a very difficult problem in itself. This crucial step cannot yet be automated and still requires the insight of a human programmer.