Мова програмування п’ятого покоління

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Мова програмування п'ятого покоління (англ. Fifth-generation programming language, скор. 5GL) - мова програмування, заснована на вирішенні проблем із використанням обмежень цієї програми, а не за допомогою прямого втручання програміста.[1][2] Більшість обмежених, логічних мов програмування і деяких декларативних - мови п'ятого покоління.

Хоча мова програмування четвертого покоління призначена для побудови конкретних програм, для п'ятого покоління створені мови, щоб зробити комп'ютер автономним у вирішенні проблеми без участі програміста. Таким чином, програмісту потрібно тільки турбуватися про те, які проблеми мають бути вирішені і які умови повинні бути виконані, не турбуючись про те, як здійснювати планове або алгоритмічне їх вирішення. Мова п'ятого покоління використовується, в основному, в дослідженнях штучного інтелекту. Prolog, OPS5 і Mercury є прикладами мови п'ятого покоління мов.[3]

Ці типи мов були також побудовані на Lisp, багато з них беруть початок із лісп-машини, такі як ICAD, KL-ONE.

У 1980-х рр. мова програмування п'ятого покоління вважалася хвилею майбутнього, і дехто пророкував, що вона замінить всі інші мови для розробки системи, за винятком мов низького рівня. З 1982 по 1993 рік Японія провела багато досліджень і вклала багато грошей в свій п'ятий проект покоління комп'ютерних систем, сподіваючись створити масивну комп'ютерну мережу за допомогою цих інструментів.[4][5] Однак, після того, як більшість програм були побудовані, недоліки підходу стали більше ніж очевидними. Процес показав, що визначення конкретної проблеми, яка випливає через пошук ефективного алгоритму рішення - складне і важке завдання. Це важливий крок, який поки не може бути автоматизований, і як і раніше вимагає втручання людського програміста.[6]

Сьогодні, мова програмування п'ятого покоління, загалом, є гіпотетичним можливим рівнем комп'ютерної мови. Хоча зустрічаються постачальники програмного забезпечення, які стверджують, що їхні програми відповідають візуально вимогам «програмування» 5GL концепції.

Див. також[ред.ред. код]

Примітки[ред.ред. код]

Джерела[ред.ред. код]

  • Soucek, Branko & The IRIS group, 1992, Dynamic, Genetic, and Chaotic Programming: The Sixth-Generation (Sixth Generation Computer Technologies). New York: John Wiley & Sons, Inc.