Prolog giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng. | Lập trình lôgic trong Prolog 110 Prolog trả lời N 1 1 1 1 0 Yes Phép cộng do không được khởi động một cách tường minh nên sẽ không bao giờ được thực hiện. Tuy nhiên ta có thể hoán đổi hai đích của mệnh đề thứ hai trong length1 length1 0 . length1 _ Queue N - N 1 N1 length1 Queue N1 . Kết quả chạy chương trình sau khi hoán đổi vẫn y hệt như cũ. Bây giờ ta lại có thể rút gọn mệnh đề về chỉ còn một đích length1 0 . length2 _ Queue 1 N - length2 Queue N . Kết quả chạy chương trình lần này vẫn y hệt như cũ. Prolog không đưa ra trả lời như mong muốn mà là - length1 a b c d N . N 1 1 1 1 0 Yes . Tạo sinh các số tự nhiên Chương trình sau đây tạo sinh và liệt kê các số tự nhiên Natural Numbers nat 0 . nat N - nat M N is M 1. Khi thực hiện các đích con trong câu hỏi - nat N write N nl fail. các số tự nhiên được tạo sinh liên tiếp nhờ kỹ thuật quay lui. Sau khi số tự nhiên đầu tiên nat N được in ra nhờ write N hằng fail bắt buộc thực hiện quay lui. Khi đó luật thứ hai được vận dụng để tạo sinh số tự nhiên tiếp theo và cứ thế tiếp tục cho đến khi NSD quyết định dừng chương trình AC . Cấu trúc danh sách 111 Tóm tắt chương 4 Danh sách là một cấu trúc hoặc rỗng hoặc gồm hai phần phần đầu là một phần tử và phần còn lại là một danh sách. Prolog quản lý các danh sách theo cấu trúc cây nhị phân. Prolog cho phép sử dụng nhiều cách khác nhau để biểu diễn danh sách. Objectl Object2 . hoặc Head Tail hoặc Objectl Object2 . Others Với Tail và Others là các danh sách. Các thao tác cổ điển trên danh sách có thể lập trình được là kiểm tra một phần tử có thuộc về một danh sách cho trước không phép ghép hai danh sách bổ sung hoặc loại bỏ một phần tử ở đầu hoặc cuối danh sách trích ra một danh sách con. Bài tập chương 4 1. Viết một thủ tục sử dụng append để xóa ba phần tử cuối cùng của danh sách L tạo ra danh sách L1. Hướng dẫn L là phép ghép của L1 với một danh sách của ba phần tử đã bị xóa khỏi L . 2. Viết một dãy các đích để xóa ba phần tử đầu tiên và ba phần tử cuối cùng của một danh
