Content deleted Content added
Logic programming and constraint programming are sub-paradigms of declarative programming |
|||
Line 1:
A '''fifth-generation programming language''' (abbreviated as '''5GL''') is a [[programming language]] based on solving using constraints given to the program, rather than using an [[algorithm]] written by a programmer. Most [[constraint programming|constraint-based]] and [[logic programming]] languages and some other [[declarative language]]s 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 user 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.<ref name="bala">E. Balagurusamy, ''Fundamentals of Computers'', Mcgraw Hill Education (India), 2009, ISBN 978-0070141605, p. 340</ref>
| |||