Съдържание:
- Определение - Какво означава език на пето поколение (програмиране) (5GL)?
- Techopedia обяснява езика на петото поколение (програмиране) (5GL)
Определение - Какво означава език на пето поколение (програмиране) (5GL)?
Език от пето поколение (програмиране) (5GL) е групиране на езици за програмиране, изградени върху предпоставката, че даден проблем може да бъде решен, и приложение, изградено за неговото решаване, чрез предоставяне на ограничения на програмата (програмиране на базата на ограничения), а не определяне алгоритмично как трябва да се реши проблема (наложително програмиране).
По същество езикът за програмиране се използва за обозначаване на свойствата или логиката на решение, а не как се достига. Повечето езици за програмиране на основата на ограничения и логика са 5GL. Често погрешно схващане за 5GL се отнася до практиката на някои доставчици на 4GL да обозначават своите продукти като 5GL, когато по същество продуктите са еволюирали и подобрени 4GL инструменти.
Известен също като език от 5-то поколение.
Techopedia обяснява езика на петото поколение (програмиране) (5GL)
Търси се скокът отвъд 4GL, като се използва различен подход към изчислителното предизвикателство за решаване на проблеми. Когато програмистът диктува как трябва да изглежда решението, като определя логически начин условия и ограничения, компютърът е свободен да търси подходящо решение. Повечето от приложимите проблеми, решавани от този подход, понастоящем могат да бъдат намерени в областта на изкуствения интелект.
През 80-те и 90-те години на ХХ век в развитието на 5GL са инвестирани значителни изследвания. Тъй като се изграждаха по-големи програми, стана очевидно, че подходът за намиране на алгоритъм с описание на проблем, логически инструкции и набор от ограничения сам по себе си е много труден проблем. През 90-те години вълната на свръх, предшестваща популяризирането на 5GL и прогнозите, че те ще заменят повечето други езици на програмиране, отстъпи място на по-трезва реализация.
PROLOG (съкращение за PROgramming LOGic) е пример за език за логическо програмиране. Той използва форма на математическа логика (предикатно смятане) за решаване на заявки в база данни с факти и правила, зададена от програмист.
