TS PHAN HUY KHÁNH L p trình Lôgích Prolog NHÀ XU T B N I H C QU C GIA HÀ N I PHAN HUY KHÁNH L p trình Lôgích Prolog Prolog ngôn ng l p trình lôgich (Prolog = PROgramming in LOGic) GS A Colmerauer đ a 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 Prolog đ c cài đ t h u h t dòng máy tính Unix/Linux, Macintosh, Windows Prolog đ c g i 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 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 toán liên quan đ n đ i t ng m i quan h gi a chúng Prolog đ c ng d ng ch y u 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 nh ng k thu t l p trình c b n Prolog, r t thích h p cho sinh viên ngành tin h c nh ng b n đ c mu n tìm hi u v k thu t l p trình ng d ng 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, 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 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 GETACLIPS, 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 thi t k h th ng, e-learning E-mail: phanhuykhanh@dng.vnn.vn ... p trình Lôgích Prolog Prolog ngôn ng l p trình lôgich (Prolog = PROgramming in LOGic) GS A Colmerauer đ a 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... 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 toán liên quan đ n đ i t ng m i quan h gi a chúng Prolog đ c ng d ng ch y u l nh v c trí tu nhân... rãi, đ c ng i Nh t ch n làm ngôn ng phát tri n máy tính th h Prolog đ c cài đ t h u h t dòng máy tính Unix/Linux, Macintosh, Windows Prolog đ c g i ngôn ng l p trình ký hi u (symbolic programming)