Chương 1: Mở đầu về ngôn ngữ Prolog Chương 2: Ngữ nghĩa của chương trình Prolog Chương3: Các phép toàn và số học Chương 4: Cấu trúc danh sách Chương 5: Kỹ thuật lập trình Prolog Phụ lục A: Một số chương trình Prolog Phụ lục B: Hướng dẫn sử dụng SWI-Prolog | 88 Lập trình lôgic trong Prolog - 1 2-1 - X Y. 2. Cho biết kết quả của các câu hỏi sau đây - op X is op 1 . - op X op 1 . - op op Z Y op X op 1 . - op X Y op op Y op X . 3. Từ các định nghĩa số tự nhiên nat và phép cộng addi cho trong ví dụ 1 ở mục định nghĩa hàm hãy viết tiếp các hàm trừ subt nhân multi chia divi luỹ thừa p ower giai thừa fact so sánh nhỏ hơn less và tìm ước số chung lớn nhất pdg sử dụng các hàm đã có chẳng hạn less subt. . 4. Viết hàm Prolog để kiểm tra một số nguyên tuỳ ý N a. N là số chẵn even number sử dụng đệ quy trực tiếp Hướng dẫn N chẵn thì N 2 cũng là số chẵn b. N là số lẻ odd number sử dụng đệ quy trực tiếp Hướng dẫn N lẻ thì N 2 cũng là số lẻ c. N chẵn sử dụng hàm kiểm tra số lẻ câu d N chẵn thì N 1 là số lẻ d. N là số lẻ sử dụng hàm kiểm tra số chẵn câu c N lẻ thì N 1 chẵn . 5. Viết hàm Prolog để làm duyệt tracking traverse trên cây nhị phân theo các thứ tự trước reorder sau post-order và giữa in-order . Giả sử cây nhị phân tương ứng với biểu thức số học 5 6 3- 2 2 là các mệnh đề Prolog như sau tree tree leaf 5 leaf 6 tree - leaf 3 tree leaf 2 leaf 2 Kết quả duyệt cây như sau theo thứ tự trước 5 6 - 3 2 2 thứ tự giữa 5 6 3 - 2 2 thứ tự sau 5 6 3 2 2 - 6. Viết lại hàm tạo 10 số tự nhiên chẵn đầu tiên đã cho trong phần đệ quy sao cho kết quả trả về là dãy số tăng dần. 7. Lập bảng nhân table R N có số bị nhân multiplicator từ 1 trở đi với số nhân N multiplier và dừng lại khi gặp số bị nhân R kết quả R N . Các phép toán và số học 89 8. Viết các hàm tính gần đúng giá trị các hàm sau với độ chính xác e 10-5 cho đến khi 1 2n-1 x2 -7- 2 2 x4 -X 34 2 4 x6 -X X 3 5 6 cho đến khi phần tử thứ n e S 1 - x xị 2 X3 3 -1 n n cho đến khi xn n _ 1 x x x4 x6 S 1 ------I-----I---- 2 4 6 2n x 2n cho đến khi 2n x 10-5 y V x yx Vx có n 1 dấu căn n 1 4 1 1 . _ _ - _ 3 5 7 9 Trình Prolog dưới đây là một trình diễn dịch interpreter cho một ngôn ngữ lập trình đơn giản chỉ gồm các số nguyên int N các biến id X các hàm fn X E và gọi hàm app E1 E2 subst E1 E2 X
