PROLOG
ngôn ngữ PROLOG Ngồn ngữ lập trình dùng cho các ứng dụng tfí tuệ nhân tạo và sử dụng các mô tả bầi toán đề đạt tới các giải phăp, dựa trên các quy tẳc chính xác. Viết tắt của PROgramming in LOGIC (lập trình trong logic). PROLOG phát triền trong những năm 1970 ở châu Âu (chù yếu ỏ* Phập và Scốtlen), và bộ biên dịch PROLOG đầu tiên phát triền vào năm 1972 bởi Philippe Roussel ờ Đạl học Marseilles. Ngôh ngứ sau đố được sử dụng rộng răi trong lĩnh vực trí tuệ nhân tặo. PROLOG là ngôn ngữ biên dich lấm việc VỚI quan hệ logic giữa cácphăn dữ H$u chứ không phải quan hệ toán học.