Nguồn: Sưu tầm, 2003
Mã số: 26226 2015 83.1 kB 45 1,167 0  0  

Chương 1. Tổng quan về khoa học trí tuệ nhân tạo Chương 2. Các phương pháp biểu diễn và giải quyết vấn đề Chương 3. Ngôn ngữ lập trình Prolog | Xem..

Nguồn: Trường ĐH Bách khoa Tp.HCM, 2005
Mã số: 20622 2011 843.5 kB 103 9,696 0  1  

PHẦN I. PROLOG Chương I. Vị từ - Tư duy lập trình và định nghĩa vấn đề trên Prolog Chương II. Các clause, cách giải thích các vấn đề trên Prolog Chương III. Môi trường lập trình B-Prolog Chương IV. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời Chương IV. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời Chương VI. Sự quay lui-Khống chế số lượng lời.. | Xem..

Nguồn: Trường ĐH Bách khoa Tp.HCM, 2011
Mã số: 20297 2011 468.4 kB 62 17,745 0  1  

Dịch từ bản tiếng Anh Prolog Fast Foot. - Hướng dẫn - Đặc điểm của Prolog - Cấu trúc của chương trình Prolog - Domains - Predicates - Clauses - Goal - Đặc điểm của biến - Bản chất đệ qui - Kiểu danh sách - Nguyên tắc trả lời goal - Cơ chế hoạt động của Prolog - Lập trình luận lý − mô tả - Lập trình luận lý − đệ qui - Tạp luận - Lịch sử Tài liệu tham khảo | Xem..

Nguồn: Chưa xác định, 2009
Mã số: 6688 2009 2.8 MB 15,192 3  0  

Kỹ thuật lập trình logic trong Prolog. I - Logic Programs 1. Basic Constructs 2. Database Programming 3. Recursive Programming 4. The Computation Model of Logic Programs 5. Theory of Logic Programs .. II - The Prolog Language III - Advanced Prolog Programming Techniques IV - Applications | Xem..

Nguồn: Đại học Sư phạm, 2009
Mã số: 9216 2009 350.9 kB 25 17,089 20  5  

I. Vị từ (predicate) - Tư duy lập trình và định nghĩa vấn đề trên Prolog II. Các clause, cách giải thích các vấn đề trên Prolog III. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời IV. Phép hợp nhất - Cơ chế tìm câu trả lời của Prolog. V. Sự quay lui - Khống chế số lượng lời giải -Vị từ nhát cắt và fail VI. Lập trình đệ quy với Prolog VII. Danh sách trên.. | Xem..

Nguồn: Chưa xác định, 2008
Mã số: 5269 2008 1.9 MB 294 4,693 4  0  

Lôgic - Lập trình và Prolog. I. Foundations 1. Preliminaries 2. Definite Logic Programs 3. SLD-Resolution 4. Negation in Logic Programming 5. Towards Prolog: Cut and Arithmetic II. Programming in Logic 6. Logic and Databases 7. Programming with Recursive Data Structures 8. Amalgamating Object- and Meta-language 9. Logic and Expert Systems 10. Logic and Grammars 11. Searching in a State-space III. Alternative Logic Programming Schemes 12. Logic Programming and.. | Xem..

Nguồn: Chưa xác định, 2002
Mã số: 3219 2008 1.1 MB 219 14,312 6  3  

Ngôn ngữ lập trình lôgic, lập trình Prolog và bàn về phân tích ngôn ngữ tự nhiên. 1 Introduction 1.1 Purpose 1.2 Logic Programming and Language 1.3 Programming In Prolog 1.4 Overview 1.5 Bibliographic Notes 2 Database Prolog 2.1 Databases and Queries 2.2 Extending the Query Language 2.3 The Logic of Prolog 2.4 The Operation of Database Prolog 2.5 Recursive Predicate Definitions 2.6 Problem Section: Semantic.. | Xem..

Nguồn: Đại học Đà Nẵng, 2007
Mã số: 1728 2007 2.1 MB 210 35,962 59  15  

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và các phương pháp lập trình cơ bản nhất của môn học «Lập trình lôgich» (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich đượ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 (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử.. | Xem..