Mục lục:
- Định nghĩa - Ngôn ngữ thế hệ thứ năm (Lập trình) (5GL) nghĩa là gì?
- Techopedia giải thích Ngôn ngữ thế hệ thứ năm (Lập trình) (5GL)
Định nghĩa - Ngôn ngữ thế hệ thứ năm (Lập trình) (5GL) nghĩa là gì?
Ngôn ngữ thế hệ thứ năm (lập trình) (5GL) là một nhóm các ngôn ngữ lập trình được xây dựng dựa trên tiền đề rằng một vấn đề có thể được giải quyết và một ứng dụng được xây dựng để giải quyết nó, bằng cách cung cấp các ràng buộc cho chương trình (lập trình dựa trên ràng buộc), thay vì chỉ định bằng thuật toán cách giải quyết vấn đề (lập trình mệnh lệnh).
Về bản chất, ngôn ngữ lập trình được sử dụng để biểu thị các thuộc tính hoặc logic của một giải pháp, thay vì cách đạt được. Hầu hết các ngôn ngữ lập trình logic và dựa trên ràng buộc là 5GL. Một quan niệm sai lầm phổ biến về 5GL liên quan đến thực tiễn của một số nhà cung cấp 4GL để biểu thị sản phẩm của họ là 5GL, khi thực chất các sản phẩm được phát triển và cải tiến các công cụ 4GL.
Còn được gọi là ngôn ngữ thế hệ thứ 5.
Techopedia giải thích Ngôn ngữ thế hệ thứ năm (Lập trình) (5GL)
Bước nhảy vọt vượt xa 4GL được tìm kiếm bằng cách thực hiện một cách tiếp cận khác với thách thức tính toán trong việc giải quyết vấn đề. Khi lập trình viên ra lệnh cho giải pháp sẽ trông như thế nào, bằng cách chỉ định các điều kiện và ràng buộc một cách hợp lý, máy tính sẽ tự do tìm kiếm một giải pháp phù hợp. Hầu hết các vấn đề có thể áp dụng được giải quyết theo phương pháp này hiện có thể được tìm thấy trong lĩnh vực trí tuệ nhân tạo.
Nghiên cứu đáng kể đã được đầu tư vào những năm 1980 và 1990, vào việc phát triển 5GL. Khi các chương trình lớn hơn được xây dựng, rõ ràng là cách tiếp cận tìm thuật toán đưa ra mô tả vấn đề, hướng dẫn logic và tập hợp các ràng buộc là một vấn đề rất khó. Trong những năm 1990, làn sóng cường điệu đi trước sự phổ biến của 5GL và dự đoán rằng chúng sẽ thay thế hầu hết các ngôn ngữ lập trình khác, đã nhường chỗ cho một nhận thức tỉnh táo hơn.
PRITAL (viết tắt của PROgramming LOGic) là một ví dụ về Ngôn ngữ lập trình logic. Nó sử dụng một dạng logic toán học (tính toán vị ngữ) để giải quyết các truy vấn trên cơ sở dữ liệu về các sự kiện và quy tắc do lập trình viên đưa ra.
