tailieunhanh - Giáo trình Lập trình logic trong prolog: Phần 1

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ình cơ bản nhất của môn học "Lập trình lôgic" (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgic được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi,. Sách gồm 5 chương riêng phần 1 trình bày 3 nội dung đầu: Giới thiệu ngôn ngữ lập trình prolog, ngữ nghĩa của chương trình prolog, các phép toán và số học. | PHAN HUY KHÁNH Lập trình logic H Q I HA NỘI NHA XUẤT BÀN ĐẠI HỌC QUỎC GIA HÀ NỘI TS. PHAN HUY KHÁNH Lộp TRÌNH LOGIC TRONG PROLOG NHÀ XUẤT BẢN ĐẠI HỌC QUỐC GIA HÀ NỘI Mik luc Lời noi đầu Chining 1. Mớ đầu vé ngôn ngữ I I Giới hiệu về ngôn ngữ . Prolog là ngón ngữ lạp trình ì Cú pháp Các kiổu dữ liệu sơ cấp cùa Các kiểu ì Biến. 6 Sự kiện và luật trong Xây lựng sụ .3 2 Xây lựng Kiểu dữ liệu cấu trúc của Đinh nghĩa kiến câu trúc cùa Prolog. 22 Ị . So sánh và hợp nhất các Tóm íắt chương Bài tập chương Chưcng 2. Ngữ nghĩa của chương trình Quan hệ giữa Prolog và lôgic toán Các mức nghía của chương trình . ì Nghĩa khai báo của chương trình Khái niệm vé gói mệnh Nghĩa logic của các mệnh .