Зміст:
- Визначення - Що означає мова п'ятого покоління (програмування) (5GL)?
- Техопедія пояснює мову програмування п'ятого покоління (5GL)
Визначення - Що означає мова п'ятого покоління (програмування) (5GL)?
Мова п'ятого покоління (програмування) (5GL) - це групування мов програмування, що ґрунтуються на передумові, що проблему можна вирішити, а додаток, побудований для її вирішення, надаючи обмеження для програми (програмування на основі обмежень), а не алгоритмічно визначаючи спосіб вирішення проблеми (імперативне програмування).
По суті, мова програмування використовується для позначення властивостей чи логіки рішення, а не для його досягнення. Більшість мов програмування на основі обмежень та логіки - це 5GL. Поширене помилкове уявлення про 5GL стосується практики деяких постачальників 4GL позначати свої продукти як 5GL, коли вони по суті є розвиненими та вдосконаленими інструментами 4GL.
Також відомий як мова 5-го покоління.
Техопедія пояснює мову програмування п'ятого покоління (5GL)
Стрибок за межі 4GL шукається за допомогою іншого підходу до обчислювальної задачі вирішення проблем. Коли програміст диктує, як має виглядати рішення, задаючи умови та обмеження логічно, комп'ютер може вільно шукати підходяще рішення. Більшість застосованих проблем, що вирішуються цим підходом, наразі можна знайти в області штучного інтелекту.
Значні дослідження були вкладені у 1980-х та 1990-х роках у розробку 5GL. По мірі побудови великих програм стало очевидним, що підхід до пошуку алгоритму із заданим описом проблеми, логічними вказівками та набором обмежень сам по собі є дуже важкою проблемою. Протягом 90-х років хвиля ажіотажу, яка передувала популяризації 5GL та прогнозування того, що вони замінять більшість інших мов програмування, поступилася місцем більш тверезої реалізації.
PROLOG (абревіатура для PROgramming LOGic) - приклад мови логічного програмування. Він використовує форму математичної логіки (предикатне обчислення) для вирішення запитів у заданій програмістом базі даних фактів і правил.
