TAILIEUCHUNG - Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 4

Prolog rất thích hợp để giải quyết các bài toán liên quan tới các đối tượng và mối quan hệ giữa chúng. Prolog được ứng dụng chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, hệ chuyên gia, máy móc, xử lý ngông ngữ, trò chơi | 50 Lập trình lôgic trong Prolog . Sắp đặt thứ tự các mệnh đề và các đích cơ gặp các vòng lặp vô hạn Xét mệnh đề sau đây p - p Nghĩa của mệnh đề là p đúng nếu p đúng . về mặt khai báo mệnh đề hoàn toàn đúng đắn. Tuy nhiên về mặt thủ tục mệnh đề không dùng để làm gì. Trong Prolog mệnh đề này gây ra rắc rối. Ta xét câu hỏi - p. Sử dụng mệnh đề trên đích p được thay thế bởi chính đích p rồi lại được thay thế bởi p và cứ thế tiếp tục. Prolog bị rơi vào tình trạng quẩn vô hạn. Ví dụ này làm phương tiện thực hiện các vòng lặp của Prolog. Trở lại ví dụ con khỉ và quả chuối trên đây ta có thể thay đổi thứ tự các đích bên trong của các mệnh đề. Chẳng hạn các mệnh đề thuộc về quan hệ displacement đã được sắp xếp như sau grab climbing pushing walking ta có thể bổ sung thêm mệnh đề descending nếu muốn trọn vẹn . Các mệnh đề này nói rằng con khỉ có thể nắm lấy quả chuối grab trèo lên hộp climbing . Về mặt ngữ nghĩa thủ tục thứ tự các mệnh đề nói rằng trước con khỉ với lấy được quả chuối nó phải trèo lên hộp trước khi trèo lên hộp nó phải đẩy cái hộp . Với thứ tự này con khỉ lấy được quả chuối giải quyết được bài toán . Bây giờ nếu ta thay đổi thứ tự thì điều gì sẽ xảy ra Giả thiết rằng mệnh đề walking xuất hiện đầu tiên. Lúc này việc thực hiện đích đã đặt ra trên đây - couldtake state tothedoor onthefloor tothewindow nothave . sẽ tạo ra một quá trình thực thi khác. Bốn danh sách đích đầu tiên như cũ các tên biến được đặt lại 1 couldtake state tothedoor onthefloor tothewindow nothave Sau khi mệnh đề thứ hai được áp dụng ta có 2 displacement state tothedoor onthefloor tothewindow nothave M S2 couldtake S2 Với chuyển động walking tothedoor P2 ta nhận được Ngữ nghĩa của chương trình Prolog 51 3 couldtake state P2 onthefloor tothewindow nothave Áp dụng lần nữa mệnh đề thứ hai của couldtake 4 displacement state P2 onthefloor tothewindow nothave M S2 f couldtake S2 Từ thời điểm này sự khác nhau xuất hiện. Mệnh đề đầu tiên có phần đầu có thể so khớp với đích đầu

• Kỹ thuật lập trình
• Tài liệu lập trình
• thủ thuật lập trình
• Ngôn ngữ lập trình
• ngôn ngữ prolog
• chuẩn ISO
• ngôn ngữ máy tính
• Tài liệu IT
• Kiến thức lập trình
• Học lập trình
• Công cụ lập trình
• kĩ thuật lập trình
• hướng dẫn lập trình
• kĩ năng lập trình
• AutoIT