Ngôn ngữ Prolog là gì?

Prolog là ngôn ngữ lập trình máy tính dựa trên logic.Hầu hết các ngôn ngữ máy tính đều dựa trên các bước cần thiết để giải quyết vấn đề.Ngôn ngữ Prolog, mặt khác, là một ngôn ngữ khai báo cho thấy mối quan hệ logic giữa các thực thể.Cách để giải quyết vấn đề là để lại cho máy tính.Cái tên Prolog xuất phát từ lập trình của Pháp en logique, nghĩa là logic lập trình. Sau đây là một chương trình Prolog đơn giản:

Tổ tiên (F, C):- Cha (F, C)

Tổ tiên (P, Q):- Cha (P, R), Tổ tiên (R, Q)

Cha (John, Jim).

Cha (Jim, Jerry).Jason, Joshua). Chương trình trên chỉ ra sự thật.Nếu F là cha của C, thì F là tổ tiên của C. Nếu P là cha của một số người R là tổ tiên của Q, thì P là tổ tiên của Q. Một số sự thật có thật sau đó được đưa ra, chẳng hạn nhưJohn là cha của Jim.Nếu sau đó một câu hỏi có vấn đề được đặt ra là liệu John có phải là tổ tiên của Jeff hay không, chúng ta sẽ nhận được câu trả lời có như dưới đây:

?- Tổ tiên (John, Jeff).Chương trình hiển thị tất cả các tổ tiên như sau:

?Làm thế nào để thực hiện đánh giá.Ví dụ, nó không cho biết có nên bắt đầu ở người lớn tuổi hay không và làm việc với người trẻ hơn hay ngược lại.Cũng hoán đổi các bộ phận như dưới đây:

tổ tiên (p, q):- tổ tiên (r, q), cha (p, r) Nó sẽ không có sự khác biệt nào đối với chương trình, vì cả hai phần này ở phía bên phải cầnĐể trở thành sự thật để phía bên trái là đúng. Do đó, ngôn ngữ prolog tập trung vào các mối quan hệ, và không vào cách giải quyết vấn đề.Trong quá trình thực hiện chương trình, Prolog xây dựng một số tuyên bố thực sự, tạo ra một kiến thức.Trong ví dụ trên, kiến thức, không theo thứ tự cụ thể, sẽ có tổ tiên (John, Jim), tổ tiên (Jim, Jerry), tổ tiên (John, Jerry), tổ tiên (Jim, Jason), tổ tiên (John, Jason),và như thế.Cơ sở kiến thức này có thể tiếp tục xây dựng khi chương trình thực hiện và có thể được tìm kiếm hiệu quả để có được các giải pháp.Việc thực thi có thể sử dụng xử lý song song, thực hiện đồng thời bởi nhiều máy tính. Ngôn ngữ prolog được sử dụng trong một số khu vực.Nó bắt đầu trong các hệ thống hướng đến các ngôn ngữ tự nhiên như tiếng Anh;Ngôn ngữ tự nhiên là một trong những lĩnh vực của trí tuệ nhân tạo.Ngôn ngữ Prolog cũng được sử dụng trong toán học tượng trưng, bao gồm cả đại số.Nó được sử dụng để chứng minh các định lý, trong các hệ thống chuyên gia và trong các hệ thống điều khiển, trong số nhiều ứng dụng khác.