PHAN HUY KHÁNH trong Prolog Prolog là ngôn ng l p trình lôgich Prolog = PROgramming in LOGic do GS.
Trang 1TS PHAN HUY KHÁNH
L p trình Lôgích
trong Prolog
NHÀ XU T B N I H C QU C GIA HÀ N I
Trang 2PHAN HUY KHÁNH
trong Prolog
Prolog là ngôn ng l p trình lôgich (Prolog = PROgramming in LOGic) do GS
A Colmerauer đ a ra l n đ u tiên n m 1972 t i tr ng i h c Marseille, n c Pháp n n m 1980, Prolog nhanh chóng đ c áp d ng r ng rãi, đ c ng i Nh t
ch n làm ngôn ng phát tri n máy tính th h 5 Prolog đã đ c cài đ t trên h u h t các dòng máy tính Unix/Linux, Macintosh, Windows
Prolog còn đ c g i là ngôn ng l p trình ký hi u (symbolic programming) t ng t l p trình hàm (functional programming), hay l p trình phi s (non-numerical programming) Nguyên lý l p trình lôgich d a trên phép suy di n lôgích, liên quan đ n nh ng khái
ni m toán h c nh phép h p nh t Herbrand, h p gi i Robinson, lôgich Horn, lôgich
v t b c m t (first order predicate logic), v.v
Prolog r t thích h p đ gi i quy t nh ng bài toán liên quan đ n các đ i t ng và m i quan h gi a chúng Prolog đ c ng d ng ch y u trong l nh v c trí tu nhân t o (Artificial Intelligence) nh công ngh x lý tri th c, h chuyên gia, máy h c, x lý ngôn ng , trò ch i, v.v
N i dung cu n sách t p trung trình bày c s lý thuy t và nh ng k thu t
l p trình c b n trong Prolog, r t thích h p cho sinh viên các ngành tin h c và nh ng
b n đ c mu n tìm hi u v k thu t l p trình ng d ng trong l nh v c trí tu nhân t o
V TÁC GI :
Sinh viên K14, khoa Toán-Lý, tr ng HBK Hà N i 1971-1976, đi b đ i chi n
đ u t i mi n ông, Tây Nam B 1976-1979 xu t ng ti p t c h c K19 N m 1979
t t nghi p k s ngành Toán máy tính T 1979 đ n nay gi ng d y t i khoa CNTT,
tr ng HBK à N ng B o v ti n s n m 1991 t i Pháp Làm post-doc t i GETA-CLIPS, IMAGrenoble 1991-1992 Gi ch c ch nhi m khoa CNTT 1995-2000
Nh ng v n đ nghiên c u : x lý ngôn ng , x lý đa ng , lý thuy t tính toán, phân tích và thi t k h th ng, e-learning
E-mail: phanhuykhanh@dng.vnn.vn