Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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. 4.1 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 d.tợc 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
