Nguyễn Văn Linh - Programing Language - Chapte
r 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 - Chapte
r 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 - Chapte
r 2

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.
Nguyễn Văn Linh - Programing Language - Chapte
r 2
6
MIỀN CON
CỦA SỐ NGUYÊN
✔
Sự đặc tả:
•
Một dãy các số nguyên trong một khoảng
đã định.
•
Các phép toán tương tự như kiểu số
nguyên.
✔
Cài đặt:
•
Tốn ít bộ nhớ hơn.
•
Kiểm tra kiểu tốt hơn.
Nguyễn Văn Linh - Programing Language - Chapte
r 2
7
SỐ THC

không âm, chỉ cần một số bit để biểu diễn cho một
giá trị.
•
Cài đặt các phép toán dựa vào các phép toán trên
số nguyên.
Nguyễn Văn Linh - Programing Language - Chapte
r 2
9
KIỂU LOGIC
✔
Đặc tả:
•
Có thể xem như là một kiểu liệt kê: (FALSE,
TRUE).
•
Các phép toán: NOT, AND, OR.
✔
Cài đặt:
•
Sử dụng một đơn vị nhớ (bite/word) để lưu trữ
một giá trị logic.
•
Sử dụng một bit trong đơn vị nhớ để lưu 0 và 1.
•
Sử dụng cả đơn vị nhớ để lưu 0 và khác 0.
Nguyễn Văn Linh - Programing Language - Chapte
r 2
10
KIỂU KÝ T
✔