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 CAI ĐĂ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.ặ ử ụ ầ ứ