Tin học
Một ngôn ngữ lập trình bậc cao được dùng trong các nghiên cứu và ứng dụng trí tuệ nhân tạo, và một phần trong các hệ chuyên gia.
Prolog, viết tắt của PROgramming in LOGic, do nhà bác học máy tính Alain Colmerauer và nhà logic học Philippe Roussel cùng là người Pháp, xây dựng nên từ những năm đầu 1970. Giống như LIPS, PROLOG là loại ngôn ngữ khai báo; thay vì báo cho máy tính biết phải theo thủ tục nào để giải quyết bài toán, thì ở đây lập trình viên mô tả bài toán sẽ được giải quyết.
Ngôn ngữ này giống ngôn ngữ vấn đáp của hệ quản lý cơ sở dữ liệu (như) SQL ở chỗ bạn có thể dùng PROLOG để đặt một câu hỏi, ví dụ " Có phải Foster City ở California hay không?" . Tuy nhiên, có một sự khác biệt giữa PROLOG và hệ cơ sở dữ liệu ( DBMS) : Cơ sở dữ liệu chứa các thông tin mà bạn có thể truy tìm, còn PROLOG thì ngược lại, nó chứa những kiến thức mà từ đó chương trình có thể phát ra những kết luận về những gì là đúng hay sai.
Những người lập trình dùng PROLOG để xây dựng các hệ chuyên gia ở cấp hệ thống nghiên cứu. Một khối lượng lớn công sức và thời gian đã bỏ ra để xây dựng lại hệ chuyên gia PROLOG, các giao diện người-máy riêng, các thao tác vào/ra, và các thủ tục khác đang làm nhàm chán cho chương trình viết theo PROLOG.