Fifth-generation programming language: Difference between revisions

Revision as of 12:36, 4 July 2017

Revision as of 14:51, 9 November 2017

Line 6:

These types of languages were also built upon [[Lisp (programming language)|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}}

In the 1980s, fifth-generation languages were considered to be the way of the future, and some predicted that they would replace all other languages for system development, with the exception of [[low-level languageslanguage]]s.{{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.logicprogramming.org/|title=Association for Logic Programming (ALP)|accessdate=2008-03-05|author=ALP}}</ref> put much research and money into their [[Fifth generation computer|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, given 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.