Lập trình Logic trong Prolog - PGS. TS. Phan Huy Khánh

Tên sách:

Lập trình Logic trong Prolog - 99 trang.
Tác giả:
PGS. TS. Phan Huy Khánh

Chuyên ngành:
/ Công nghệ thông tin/ Khoa học máy tính
Sơ lược:

- Chương 1 giới thiệu ngôn ngữ lập trình Prolog dựa trên logic Horn (Horn 

logic). Người đọc được làm quen với các kiểu dữ liệu của Prolog, khái niệm 

luật, sự kiện và viết được các chương trình Prolog đơn giản.

- Chương 2 trình bày các mức nghĩa khác nhau của một chương trình Prolog: 

nghĩa logic, nghĩa khai báo và nghĩa thủ tục, cách Prolog trả lời các câu hỏi, cách Prolog làm thoả mãn các đích.

- Chương 3 trình bày các phép toán số học, phép so sánh các đối tượng và 

định nghĩa các hàm sử dụng phép đệ quy trong Prolog

- Chương 4 trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh 

sách của Prolog

- Chương 5 trình bày kỹ thuật lập trình nâng cao với Prolog.

Download:
http://thuvien365.blogspot.com/ - Sưu tầm.
[Tải tài liệu:Chờ sau 5s, sau đó nhấn SKIP AD (để bỏ qua Quảng cáo)]