1
L p trình logic và ràng bu cậ ộ
(Logic Programming and Constraint)
Ts. Lê M nh H iạ ả
Khoa CNTT,
ĐH K thu t Công ngh TP HCMỹ ậ ệ
2
M đuở ầ
I M c đích môn h c:ụ ọ
•Gi i thi u m t công c h tr nghiên c u trí tu nhân ớ ệ ộ ụ ỗ ợ ứ ệ
t o: ngôn ng l p trình SWI-Prolog. ạ ữ ậ
•M t s ng d ng trong x lý ngôn ng t nhiên. ộ ố ứ ụ ử ữ ự
II. Th i gian và n i dung: ờ ộ 30 ti t lý thuy t + 15 ti t bài ế ế ế
t p ậ
•T ng quan v Prolog(3 ti t)ổ ề ế
•K thu t l p trình Prolog(9 ti t)ỹ ậ ậ ế
•Logic và CSDL(3 ti t)ế
•Logic và H chuyên gia(3 ti t)ệ ế
•Logic và ng pháp (6 ti t)ữ ế
•Logic và l p trình ràng bu c (6 ti t)ậ ộ ế
•Bài t p và ki m tra gi a k (15 ti t)ậ ể ữ ỳ ế
3
III Giáo trình và tài li u tham kh oệ ả
•Bài gi ng c a Lê M nh H i (L u hành n i b )ả ủ ạ ả ư ộ ộ
•James Lu, Jerud J. Mead. Prolog A Tutorial
Introduction. Computer Science Department Bucknell
University
•Ulf Nilsson and Jan Maluszynsky. LOGIC,
PROGRAMMING AND PROLOG (2ED). John Wiley
& Sons Ltd. 2000.
•Phan Huy Khánh. L p trình logic trong Prolog. Nhà ậ
xu t b n ĐH QG Hà n i. 2004ấ ả ộ
4
IV. Đánh giá:
•Đi m gi a k (30%): Bài ki m tra 60 phút trên PCể ữ ỳ ể
•Thi k t thúc môn (70%): Bài ki m tra 90 phútế ể
V. Giáo viên:
•Ts. Lê M nh H i. Khoa CNTT HUTECH. ạ ả
•email: lm.hai@hutech.edu.vn
•Website: giangvien.hutech.edu.vn
Bài 1: Gi i thi u v ngôn ng ớ ệ ề ữ
Prolog
•M c tiêu:ụ
–L c s Prolog và các dòng s n ph mượ ử ả ẩ
–Cài đt SWI-Prolog và SWI-Prolog editorặ
–Các khái ni m c b n và ví dệ ơ ả ụ
5