(A. 5th Generation Language; viết tắt: 5GL), ngôn ngữ lập trình máy tính dùng cho các bài toán xử lí tri thức và lập luận tự động trong trí tuệ nhân tạo, như PROLOG, LISP, ...