Tham khảo tài liệu ''giáo trình phân tích khả năng ứng dụng đối tượng dữ liệu mang bộ mô tả kiểu động p10'', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
h a n g e Vi e y N c Nạp hàm tự định nghĩa cho XLISP Có hai phương pháp để nạp hàm tự định nghĩa cho XLISP: • Phương pháp 1: Copy dán khối - Trong Notepad, đánh dấu khối hàm tự định nghĩa copy khối (Edit/Copy Ctrl-C) - Trong XLISP, dán khối dấu chờ lệnh (Edit/Paste Ctrl-Ins) - Với phương pháp viết hàm, khơng nên viết dòng lệnh dài - Nếu khối hàm dán vào khơng có lỗi tên hàm xuất ta sử dụng hàm - Phương pháp phù hợp với việc kiểm thử hàm • Phương pháp 2: Mở tập tin chương trình - Trong XLISP, sử dụng menu File-Open/Load để mở tập tin chương trình chứa hàm viết lưu trữ Notepad Chúng ta sử dụng hàm (LOAD ) để mở tập tin chương trình - Nếu việc mở thành cơng gọi thực hàm có tập tin chương trình - Nếu có hàm viết sai dấu ngoặc việc mở tập tin thất bại ta khơng thể dùng hàm tập tin - Phương pháp thích hợp với việc nạp nhiều hàm kiểm chứng tập tin chương trình để sử dụng Một số thông báo lỗi thường gặp Unbound function: Hàm khơng có Bad function: Hàm sai Too many arguments: Thừa tham số Too few arguments: Thiếu tham số Misplaced close paren: Thừa dấu ngoặc đóng/ Thiếu dấu ngoặc mở EOF reached beore expression end: Thừa dấu ngoặc mở/ Thiếu dấu ngoặc đóng - Not a number: Đối số hàm phải số - Bad argument type: Kiểu tham số sai - 94 bu to k d o m o o c u -tr a c k w lic w w w d o Chương VIII: Lập trình hàm m C lic k to bu Ngơn ngữ lập trình w w w C y N O W ! XC er O W F- w PD h a n g e Vi e ! XC er PD F- c u -tr a c k c h a n g e Vi e y N c CHƯƠNG 9: LẬP TRÌNH LOGIC 9.1 TỔNG QUAN 9.1.1 Mục tiêu Sau học xong chương này, sinh viên cần phải nắm: - Khái niệm lập trình logic - Các nguyên tắc lập trình logic - Viết chương trình đơn giản ngôn ngữ Prolog 9.1.2 Nội dung cốt lõi - Lập trình logic - Căn ngơn ngữ lập trình Prolog 9.1.3 Kiến thức cần thiết Kiến thức kĩ lập trình 9.2 GIỚI THIỆU VỀ LẬP TRÌNH LOGIC Trong lập trình logic, ta sử dụng vị từ để định nghĩa khái niệm tất môn khoa học khác Ví dụ định nghĩa số nguyên tố: Số nguyên tố N số nguyên lớn 1, chia hết cho Để xét xem số N có phải số nguyên tố hay không, người ta thường sử dụng dấu hiệu nhận biết: Số nguyên tố số nguyên dương, không chia hết cho số nguyên tố nhỏ số nguyên tố nhỏ Dấu hiệu mơ tả vị từ sau: - số nguyên tố - N số nguyên tố N>0, M số ngun tố đó, M0, M số nguyên tố đó, M0, so_nguyen_to(M), M