BIA LAP TRINH LOGIC TRONG PROLOG

TS. 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


PHAN HUY KHÁNH

L p trình Lôgích
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 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 và thi t k h th ng, e-learning.
E-mail:

.