Оглавление:
- Определение - Что означает язык пятого поколения (программирования) (5GL)?
- Techopedia объясняет язык пятого поколения (программирования) (5GL)
Определение - Что означает язык пятого поколения (программирования) (5GL)?
Пятое поколение (язык программирования) (5GL) - это группа языков программирования, основанная на предпосылке, что проблема может быть решена, и приложение, созданное для ее решения, предоставляя ограничения для программы (программирование на основе ограничений), а не алгоритмическое указание, как решить проблему (императивное программирование).
По сути, язык программирования используется для обозначения свойств или логики решения, а не того, как оно достигается. Большинство основанных на ограничениях и логических языках программирования являются 5GL. Распространенное заблуждение о 5GL относится к практике некоторых поставщиков 4GL обозначать свои продукты как 5GL, когда по существу продукты развиваются и улучшают инструменты 4GL.
Также известен как язык 5-го поколения.
Techopedia объясняет язык пятого поколения (программирования) (5GL)
Прыжок за пределы 4GL достигается с помощью другого подхода к вычислительным задачам решения проблем. Когда программист диктует, как должно выглядеть решение, путем логического указания условий и ограничений, компьютер становится свободным для поиска подходящего решения. Большинство применимых проблем, решаемых этим подходом, в настоящее время можно найти в области искусственного интеллекта.
В 1980-е и 1990-е годы были вложены значительные средства в разработку 5GL. По мере создания более крупных программ стало очевидно, что подход к поиску алгоритма с учетом описания проблемы, логических инструкций и набора ограничений сам по себе является очень сложной задачей. В 1990-х годах волна ажиотажа, предшествовавшая популяризации 5GL и предсказаниям, что они заменят большинство других языков программирования, сменилась более трезвой реализацией.
PROLOG (аббревиатура от PROgramming LOGic) является примером языка логического программирования. Он использует форму математической логики (исчисление предикатов) для решения запросов к заданной программистом базе данных фактов и правил.
