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

Nguyên lý của prlog dựa trên phép suy diễn logic, liên quan đến những khái niệm toán học như phép hợp nhất herbran, hợp giả Robinson, logic vị từ bậc một | Ngữ nghĩa của chương trình Prolog 31 . Nghĩa khai báo của chương trình Prolog về mặt hình thức nghĩa khai báo hay ngữ nghĩa chủ ý intentional semantic xác định các mối quan hệ đã được định nghĩa trong chương trình. Nghĩa khai báo xác định những gì là kết quả đích mà chương trình phải tính toán phải tạo ra. Nghĩa khai báo của chương trình xác định nếu một đích là đúng và trong trường hợp này xác định giá trị của các biến. Ta đưa vào khái niệm thể nghiệm instance của một mệnh đề C là mệnh đề C mà mỗi một biến của nó đã được thay thế bởi một hạng. Một biến thể variant của một mệnh đề C là mệnh đề C sao cho mỗi một biến của nó đã được thay thế bởi một biến khác. Ví dụ II. 1 Cho mệnh đề hasachild X - parent X Y . Hai biến thể của mệnh đề này là hasachild A - parent A B . hasachild Xl - parent X1 X2 . Các thể nghiệm của mệnh đề này là hasachild tom - parent tom Z . hasachild jafa - parent jafa small iago . Cho trước một chương trình và một đích G nghĩa khai báo nói rằng Một đích G là đúng thoả mãn hay suy ra được từ chương trình một cách logic nếu và chỉ nếu 1 tồn tại một mệnh đề C của chương trình sao cho 2 tồn tại một thể nghiệm I của mệnh đề C sao cho a phần đầu của I là giống hệt G và b mọi đích của phần thân của I là đúng. Định nghĩa trên đây áp dụng được cho các câu hỏi Prolog. Câu hỏi là một danh sách các đích ngăn cách nhau bởi các dấu phẩy. Một danh sách các đích là đúng nếu tất cả các đích của danh sách là đúng cho cùng một ràng buộc của các biến. Các giá trị của các biến là những giá trị ràng buộc tổng quát nhất. 32 Lập trình lôgic trong Prolog . Khái niệm về gói mệnh đề Một gói hay bó mệnh đề packages of clauses là tập hợp các mệnh đề có cùng tên hạng tử chính cùng tên cùng số lượng tham đối . Ví dụ sau đây là một gói mệnh đề a X - b X _ . a X - c X e X . a X - f X Y . Gói mệnh đề trên có ba mệnh đề có cùng hạng là a X . Mỗi mệnh đề của gói là một phương án giải quyết bài toán đã cho. Prolog quy ước mỗi dấu phẩy comma đặt giữa các mệnh đề hay các đích

• 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