Prolog là ngôn ngữ đƣợc sử dụng phổ biến nhất trong các dòng các ngôn ngữ lập trình logic. Ngôn ngữ Prolog do giáo sƣ ngƣời Pháp Alain Colmerauer và nhóm nghiên cứu của ông đề xuất lần đầu tiên tại trƣờng đại học Marseille đầu những năm 1970. Đến năm 1980, Prolog nhanh chóng đƣợc áp dụng rộng rãi ở châu Âu, ngƣời Nhật chọn ngôn ngữ phát triển dòng máy tính thế hệ thứ 5. Prolog đã đƣợc sử dụng cài đặt trên các máy hãng Apple II, IBM-PC, Macintosh.
Số hóa bởi Trung tâm Học liệu http://www.lrc-tnu.edu.vn/
Prolog là ngôn ngữ lập trình ký hiệu tƣơng tự các ngôn ngữ lập trình hàm hay lập trình phi số, Prolog rất thích hợp để giải quyết các bài toán liên quan đến các đối tƣợng và mối quan hệ giữa chúng.
Prolog đã đƣợc sử dụng phổ biến trong lĩnh vực trí tuệ nhân tạo trên nguyên lý lập trình logic dựa trên các mệnh đề Horn (Horn logic).
3.2. chẩn đoán bệnh trẻ em
Đặt bài toán: Xây dựng một hệ chuyên gia trên máy tính để trợ giúp chẩn đoán một số bệnh trẻ em thƣờng gặp.
Qua hệ chuyên gia này mong muốn một phần nào đó có thể tƣ vấn cho cán bộ y tế, bố mẹ hoặc ngƣời chăm sóc trẻ biết đƣợc bệnh trẻ đang mắc phải, để từ đó đánh giá và phân loại đƣợc bệnh trẻ có hƣớng xử trí tốt nhất cho trẻ. Từ hệ thống này thông qua việc hỏi đáp về triệu chứng của trẻ và hệ thống sẽ đƣa ra tên bệnh và khuyến cáo dùng thuốc cụ thể.
Để làm đƣợc các yêu cầu trên thì hệ thống cần có một cơ sở tri thức về các triệu chứng, các bệnh, các loại thuốc thông thƣờng. Trong hệ thống này ta xây dựng có thể chẩn đoán đƣợc khoảng 4 bệnh thông dụng và thƣờng gặp.