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 giới thiệu lập trình logic, mệnh đề, ngôn ngữ Turbo ProLog. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này. | Chương 8: Ngôn ng l p trình logic Gi ng viên: Nguy n Văn Hòa Khoa KT-CN-MT – ðH An Giang 1 N i dung Gi i thi u l p trình logic M nh ñ Ngôn ng Turbo ProLog 2 Gi i thi u l p trình logic Các h ngôn ng l p trình b c cao L p trình m nh l nh (imparative) Th t c (procedural) Hư ng ñ i tư ng (object) L p trình khai báo (declarative) Hàm (functional) Logic 3 Gi i thi u l p trình logic Phương th c l p trình khai báo khác v i phương th c LT m nh l nh nh ng ñi m nào? LT logic là LT khai báo (declarative) Dùng ngôn ng mô t ñ ñ c t các v n ñ Nh n m nh k t qu mong ñ i hơn là cách th c nh n ñư c k t qu ng d ng nhi u trong x lý ngôn ng t nhiên và Trí tu nhân t o 4 Gi i thi u l p trình logic M t chương trình logic (Prolog) là t p h p các m nh ñ M i m t m nh ñ ñư c xây t nhi u v t V t là phát bi u v m t ñ i tư ng có th là ñúng ho c sai → Chương trình Prolog = các ñ i tư ng d li u và quan h gi a các ñ i tư ng d li .