Ngôn ngữ lập trình - Chương 9
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (93.48 KB, 11 trang )
Nguyễn Văn Linh - Programing Language - Chapter
2
1
CHƯƠNG 9:
LẬP TRÌNH LOGIC
GIỚI THIỆU.
•
Bài toán được mô tả dưới dạng biểu thức
logic các vị từ.
•
Để giải được bài toán, cần có một cơ sở tri
thức.
•
Khi có một yêu cầu, hệ thống sẽ dựa vào
cơ sở tri thúc để suy diễn.
NGÔN NGỮ PROLOG.
Nguyễn Văn Linh - Programing Language - Chapter
2
2
NGÔN NGỮ PROLOG
Giới thiệu.
•
Được Philippe Roussel, Alian Calmerour
phát triển vào đầu thập niên 70.
Cấu trúc chương trình.
Nguyễn Văn Linh - Programing Language - Chapter
2
3
SỰ CÀI ĐẶT
Tổ chức dữ liệu trong bộ nhớ: Biểu diễn
bởi phần cứng.
Cài đặt các phép toán: Sử dụng phép
toán phần cứng; Tạo các thủ tục hoặc
hàm; Chuỗi các dòng mã lệnh.
Nguyễn Văn Linh - Programing Language - Chapter
2
4
KIỂU DỮ LIỆU SỐ
Số nguyên.
Miền con của số nguyên (Subranges).
Số thực dấu chấm động (Floating-point
real numers).
Nguyễn Văn Linh - Programing Language - Chapter
2
5
SỐ NGUYÊN
Sự đặc tả các thuộc tính: Kiểu dữ liệu
nguyên.
Ðặc tả các phép toán:
•
Các phép toán số học.
•
Các phép toán quan hệ.
•
Phép gán trị.
Cài đặt: Sử dụng phần cứng.
