Dom Rozwój Co to jest język programowania piątej generacji (5gl)? - definicja z techopedia

Co to jest język programowania piątej generacji (5gl)? - definicja z techopedia

Spisu treści:

Anonim

Definicja - Co oznacza język piątej generacji (programowanie) (5GL)?

Język piątej generacji (programowanie) (5GL) to grupa języków programowania oparta na założeniu, że problem może zostać rozwiązany, oraz aplikacja zbudowana w celu jego rozwiązania poprzez zapewnienie ograniczeń programowych (programowanie oparte na ograniczeniach), a nie algorytmiczne określanie sposobu rozwiązania problemu (programowanie imperatywne).


Zasadniczo język programowania służy do oznaczania właściwości lub logiki rozwiązania, a nie sposobu jego osiągnięcia. Większość języków programowania opartych na ograniczeniach i logice to 5GL. Powszechne błędne przekonanie na temat 5GL dotyczy praktyki niektórych dostawców 4GL, aby oznaczać swoje produkty jako 5GL, gdy w gruncie rzeczy produkty są ewoluowane i ulepszone narzędzia 4GL.


Znany również jako język 5. generacji.

Techopedia wyjaśnia język piątej generacji (programowanie) (5GL)

Przeskakuje się poza 4GLs, przyjmując inne podejście do obliczeniowego wyzwania rozwiązywania problemów. Gdy programista decyduje o tym, jak powinno wyglądać rozwiązanie, logicznie określając warunki i ograniczenia, komputer może swobodnie szukać odpowiedniego rozwiązania. Większość mających zastosowanie problemów rozwiązanych dzięki temu podejściu można obecnie znaleźć w dziedzinie sztucznej inteligencji.


W latach 80. i 90. XX wieku zainwestowano znaczne badania w rozwój 5GL. Gdy budowano większe programy, stało się jasne, że podejście do znalezienia algorytmu z opisem problemu, instrukcjami logicznymi i zestawem ograniczeń jest samo w sobie bardzo trudnym problemem. W latach 90. fala szumu poprzedzająca popularyzację 5GL i przewidywania, że ​​zastąpią one większość innych języków programowania, ustąpiła miejsca bardziej trzeźwej realizacji.


PROLOG (akronim od PROgramming LOGic) jest przykładem logicznego języka programowania. Wykorzystuje formę logiki matematycznej (rachunek predykatów) do rozwiązywania zapytań w bazie danych faktów i reguł podanej przez programistę.

Co to jest język programowania piątej generacji (5gl)? - definicja z techopedia