Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logic

Chương 8: Ngôn ng l p<br /> trình logic<br /> Gi ng viên: Ph.D Nguy n Văn Hòa<br /> Khoa KT-CN-MT – ðH An Giang<br /> <br /> 1<br /> <br /> N i dung<br /> Gi i thi u l p trình logic<br /> M nh ñ<br /> Ngôn ng Turbo ProLog<br /> <br /> 2<br /> <br /> Gi i thi u l p trình logic<br /> Các h ngôn ng l p trình b c cao<br /> L p trình m nh l nh (imparative)<br /> Th t c (procedural)<br /> Hư ng ñ i tư ng (object)<br /> <br /> L p trình khai báo (declarative)<br /> Hàm (functional)<br /> Logic<br /> <br /> 3<br /> <br /> Gi i thi u l p trình logic<br /> Phương th c l p trình khai báo khác v i phương<br /> th c LT m nh l nh nh ng ñi m nào?<br /> LT logic là LT khai báo (declarative)<br /> Dùng ngôn ng mô t ñ ñ c t các v n ñ<br /> Nh n m nh k t qu mong ñ i hơn là cách th c nh n<br /> ñư c k t qu<br /> <br /> ng d ng nhi u trong x lý ngôn ng t nhiên và<br /> Trí tu nhân t o<br /> <br /> 4<br /> <br /> Gi i thi u l p trình logic<br /> M t chương trình logic (Prolog) là t p h p các<br /> m nh ñ<br /> M i m t m nh ñ ñư c xây t nhi u v t<br /> V t là phát bi u v m t ñ i tư ng có th là ñúng<br /> ho c sai<br /> → Chương trình Prolog = các ñ i tư ng d li u và<br /> quan h gi a các ñ i tư ng d li u<br /> <br /> 5<br /> <br />