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

TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.