Content deleted Content added
Anomalocaris (talk | contribs) ALP |
|||
Line 4:
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.
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. 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=
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.
Today, fifth-generation languages have lost part of their initial appeal{{Fact|date=January 2009}} and are mostly used in academic circles.
| |||