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

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.
Nội dung trích xuất từ tài liệu:
Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logicChương 8: Ngôn ng l ptrình logicGi ng viên: Ph.D Nguy n Văn HòaKhoa KT-CN-MT – ðH An Giang1N i dungGi i thi u l p trình logicM nh ñNgôn ng Turbo ProLog2Gi i thi u l p trình logicCác h ngôn ng l p trình b c caoL 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)Logic3Gi i thi u l p trình logicPhương th c l p trình khai báo khác v i phươngth 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 qung d ng nhi u trong x lý ngôn ng t nhiên vàTrí tu nhân t o4Gi i thi u l p trình logicM t chương trình logic (Prolog) là t p h p cácm nh ñM i m t m nh ñ ñư c xây t nhi u v tV t là phát bi u v m t ñ i tư ng có th là ñúngho 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 u5