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

Nối tiếp phần 1, phần 2 giáo trình đề cập về các vấn đề sau: 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; phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI Prolog đã chạy có kết quả. | Chương 4 Jan trúc danh sách Chương này trình bày khái niệm VC danh sách. một trong những cấu trúc dơn gián nhất và thòng dụng nhất cùng với những chương trình tiêu biêu minh hoạ cách vận dụng danh sách trong Prolog. Càu trúc danh sách tạo nên một môi trường lap trình thuận tiện cùa ngôn ngữ Prolog. Biểu diễn câu trúc danh sách Danh sách là kiểu cấu trúc dữ liệu được sỉr dụng rộng rãi trong các ngôn ngữ lập trình phi số. Mỏt danh sách là một dãy bất kỳ các đói tượng. Khác với kiểu dữ liệu tập hợp các dõi tượng của danh sách có thè trung nhau xuất hiện nhicu lần và mòi vị trí xuất hiện của dối t trọng déu có ý nghía. Danh sách là cách diễn dạt ngắn gọn của kiêu dữ liệu hạng phức hợp trong Prolog. Hàm tử cùa danh sách là dốu chấm Do việc biểu diễn dat h sách bởi hàm tứ này có thê tạo ra những biểu thức mập mờ nhât là khi xử lý các danh sách gồm nhiều phần tử lổng nhau cho nên Prolog cuy tróc đặt dãy các phần tử của danh sách giữa các cặp móc vuông. Chàng hạn . a . b I . là danh sách Ị a b . Danh sách các phần tử anne tennis tom skier lên người viết a tne tennis com skier chính là hàm lữ 110 Lập trình logic trong Prolog . anne . tennis . tom . skier Cách viết dạng cặp móc vuông chỉ là xuất hiện bèn ngoài cùa một danh sách. Như đã thấy ờ mục trước mọi đối tượng cấu núc cùa Prolog đều có biểu diễn cây. Danh sách cũng khỏng ngoại lệ cùng co cấu trúc cây. Làm cách nào để biêu diễn danh sách bời một đối tượng Prolog chuẩn Có hai khả năng xày ra là danh sách có thê rỗng hoặc không. Nếu danh sách rống nó dược viết dưới dạng một nguyên tứ Nếu danh sách khác rỗng có thể xem nó được cấu trúc từ hai thành phần pair syntax 1. Thành phần thứ nhất được gọi là ĩầu head của danh sách. 2. Thành phần thứ hai phần còn lại cùa danh sách trừ ra phần đầu được gọi là đuôi tail của danh sách cũng là một danh sách. Trong ví dụ trên thì đầu là anne còn đuôi là danh sách tennis tom skier Nói chung đầu của danh sách có thể là một đối tượng bâì kỳ của Prolog có thể là cây hoặc biến nhưng

• Kỹ thuật lập trình
• Lập trình logic trong prolog
• Kỹ thuật lập trình nâng cao với prolog
• Ngôn ngữ lập trình SWI prolog
• Môi trường lập trình
• Kỹ thuật lập trình
• Phép xử lý cơ bản trên prolog
• Kỹ thuật lập trình nâng cao prolog
• Trí tuệ nhân tạo
• Lập trình hàm
• Lập trình lôgic
• Ngôn ngữ prolog
• Luật trong prolog
• Cấu trúc của prolog
• Prolog và logic toán học
• Phương pháp lập trình
• Kỹ thuật lập trình lôgic
• Xử lý ngôn ngữ tự nhiên
• Ngôn ngữ lập trình prolog
• Công nghệ xử lý tri thức
• Hệ chuyên gia tin học
• kỹ thuật máy tính C
• kỹ thuật lập trình C
• giáo trình kỹ thuật lập trình C
• bài tập kỹ thuật lập trình C
• tài liệu kỹ thuật lập trình C
• chuyên ngành kỹ thuật lập trình
• Bài tập kỹ thuật lập trình
• Tài liệu kỹ thuật lập trình
• Bài giảng kỹ thuật lập trình
• Ưng dụng kỹ thuật lập trình
• Ngôn ngữ C
• kỹ thuật máy tính
• môn kỹ thuật lập trình
• ôn tập kỹ thuật lập trình
• cách học kỹ thuật lập trình
• kiến thức kỹ thuật lập trình
• học môn kỹ thuật lập trình
• Đề thi Kỹ thuật lập trình cơ bản
• Câu hỏi Kỹ thuật lập trình cơ bản
• Luyện thi Kỹ thuật lập trình cơ bản
• Ôn thi Kỹ thuật lập trình cơ bản
• Bài thi Kỹ thuật lập trình cơ bản
• Tài liệu Kỹ thuật lập trình cơ bản
• giáo trình kỹ thuật lập trình
• thủ thuật lập trình
• lập trình căn bản
• kỹ thuật phần mềm
• chương trình lập trình
• giáo trình lập trình
• lập trình hướng đối tượng
• tài liệu lập trình
• chuyên ngành lập trình
• tổng quan về lập trình
• Tổng quan về kỹ thuật lập trình
• Lập trình tốt
• Nguyên tắc lập trình
• Ngôn ngữ lập trình
• ngôn ngữ C++
• Kỹ thuật lập trình căn bản
• Kỹ thuật lập trình nâng cao
• Lập trình C căn bản
• Lập trình C nâng cao