• Giả sử chúng ta biết các thông tin sau đây về An và Ba: • An yêu thích mọi môn thể thao mà cậu chơi.. • Bóng đá là môn thể thao.[r]
(1)• Hiện có nhiều hệ lập trình logic đời mà tiêu biểu Prolog Prolog viết tắt cụm từ tiếng
Pháp ”Programmation en Logique”
• Hệ Prolog đời vào năm 1973 Alain Colmerauer nhóm trí tuệ nhân tạo thuộc Đại học
(2)• Điều khác lập trình Prolog so với lập trình truyền thống là:
• • Trong Prolog người lập trình mơ tả vấn đề bằng câu logic
(3)• Một chương trình Prolog gồm dãy luật có dạng: A :- B1, , Bm
• đó, m ≥ 0, A Bi (i = 1, , m) câu phân tử Luật đọc “A B1
• Bm” Nó cách viết Prolog logic mênh đề sau:
• A B B m ⇒ ∧ ∧…
(4)Ví dụ.
• Giả sử biết thơng tin sau An Ba: • An u thích mơn thể thao mà cậu chơi
• Bóng đá mơn thể thao • Bóng bàn mơn thể thao • An chơi bóng đá
• Ba u thích thứ mà An u thích
=> Các câu chuyển thành chương trình Prolog sau : • likes(an, X) :- sport(X), plays(an, X)
• sport(football) • sport(tennis)
(5)(6)Tiết 3:
SWI ROLOG
(7)Biễu diễn cấu trúc danh sách
I
Một số vị từ xử lí danh sách
II
Các thao tác danh sách