Lập trình Lôgích trong prolog

Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích". Xuất hiện từ năm 1972 (do Alain Colmerauer và Robert Kowalski thiết kế), mục tiêu của Prolog là giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng....
Nội dung trích xuất từ tài liệu:
Lập trình Lôgích trong prolog PGS.TS. PHAN HUY KHÁNHL p t rình Lô g ích trong PrologNHÀ XU T B N I H C QU C GIA HÀ N I 2004 PGS.TS. PHAN HUY KHÁNH L p tr ìn h L ôg í ch t r ong Pr ol og Prolog là ngôn ng l p trình lôgich (Prolog = PROgramming in LOGic) doGS. 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, ư cngư 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ươngt l p trình hàm (functional programming), hay l p trình phi s (non-numericalprogramming). Nguyên lý l p trình lôgich d a trên phép suy di n lôgích, liênquan n nh ng khái ni m toán h c như phép h p nh t Herbrand, h p gi iRobinson, 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ânt o (Artificial Intelligence) như công ngh x lý tri th c, h chuyên gia, máyh 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 tl 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 : T t nghi p ngành Toán Máy tính năm 1979 t i trư ng i h c Bách khoa Hà N i.T 1979 n nay gi ng d y t i khoa Công ngh Thông tin, trư ng i h c Báchkhoa, i h c à N ng. B o v ti n sĩ năm 1991 t i Pháp. Gi ch c ch nhi mkhoaCông ngh Thông tin 1995-2000. Hư ng nghiên c u chính : x lý ngôn ng , x lý a ng , lý thuy t tính toán. E-mail: khanhph@vnn.vn 3 L I NÓI U Cu n sách này nh m cung c p cơ s lý thuy t và nh ng phương pháp l p trìnhcơ b n nh t c a môn h c «L p trình lôgich» (Programming in Logic). Ngư i c s ư c làm quen v i m t s k thu t l p trình lôgich ư c ng d ng tương iph bi n và ch y u trong lĩnh v c trí tu nhân t o (Artificial Intelligence) như côngngh x lý tri th c, máy h c, h chuyên gia, x lý ngôn ng t nhiên, trò chơi, v.v... Cu n sách g m năm chương, trong m i chương, tác gi u c g ng ưa vàonhi u ví d minh h a. N i dung các chương như sau : − Chương 1 gi i thi u ngôn ng l p trình Prolog d a trên lôgich Horn (Horn logic). Ngư i c ư c làm quen v i các ki u d li u c a Prolog, khái ni m lu t, s ki n và vi t ư c các chương trình Prolog ơn gi n. − Chương 2 trình bày các m c nghĩa khác nhau c a m t chương trình Prolog : nghĩa lôgich, nghĩa khai báo và nghĩa th t c, cách Prolog tr l i các câu h i, cách Prolog làm tho mãn các ích. − Chương 3 trình bày các phép toán s h c, phép so sánh các i tư ng và nh nghĩa các hàm s d ng phép quy trong Prolog. − Chương 4 trình bày c u trúc danh sách và các phép x lý cơ b n trên danh sách c a Prolog. − Chương 5 trình bày k thu t l p trình nâng cao v i Prolog. − Ph n ph l c gi i thi u ngôn ng l p trình SWI-Prolog, hư ng d n cách cài t s d ng ph n m m này và m t s chương trình ví d tiêu bi u vi t trong SWI Prolog ã ch y có k t qu . Cu n sách này dùng làm giáo trình cho sinh viên ngành Tin h c và nh ng b n c mu n tìm hi u thêm v k thu t l p trình cho lĩnh v c trí tu nhân t o. Trong quá trình biên so n, tác gi ã nh n ư c t các b n ng nghi p nhi u óng góp b ích v m t chuyên môn, nh ng ng viên khích l v m t tinh th n, sgiúp v biên t p cu n sách ư c ra i. Tác gi xin ư c bày t lòng bi t ơnsâu s c. Tác gi cũng chân thành c m ơn m i ý ki n phê bình óng góp c a b n cg n xa v n i dung c a cu n sách này. à N ng, ngày 27/05/2004 Tác gi . M CL C CHƯƠNG 1 M U V NGÔN NG PROLOG.................................. 1 I. GI I THI U NGÔN NG PROLOG.......................................... 1 I.1. Prolog là ngôn ng l p trình lôgich .............................................. 1 I.2. Cú pháp Prolog ............................................................................ 2 I.2.1. Các thu t ng .............................................................................. 2 I.2.2. Các ki u d li u Prolog ............................................................... 3 I.2.3. Chú thích ..................................................................................... 4 II. CÁC KI U D LI U SƠ C P C A PROLOG........................ ...