Prolog Fundamentals: Logic Programming and Declarative Thinking (bằng tiếng Anh).

Prolog giới thiệu một cách mạnh mẽ, độc đáo để giải quyết các vấn đề bằng cách tập trung vào việc xác định các mối quan hệ và các quy tắc điều khiển một hệ thống, thay vì chỉ định các hướng dẫn từng bước. Mô hình tuyên bố này là cần thiết để giải các câu đố logic phức tạp và hiểu các khái niệm cơ bản trong trí tuệ nhân tạo. Vào cuối khóa học này, bạn sẽ hiểu cơ học của lập trình logic, cho phép bạn xây dựng cơ sở kiến thức chức năng và áp dụng Prolog để xử lý dữ liệu, giải quyết các ràng buộc phức tạp, và cấu trúc hệ thống chuyên gia. Bạn sẽ học được: * Hiểu các nguyên tắc của lập trình tuyên bố và giải thích logic. * Định nghĩa các sự kiện, quy tắc và tiên đề để xây dựng cơ sở kiến thức mạnh mẽ trong Prolog. * Luyện viết chương trình lặp và thao tác danh sách để giải quyết các vấn đề dữ liệu cấu trúc. * Apply Prolog's built-in search and backtracking mechanisms to find multiple valid solutions efficiently. * Cấu hình đầu vào / đầu ra cơ bản và quản lý thực hiện chương trình bằng cách sử dụng các tiên đề dòng điều khiển cần thiết. Chương trình này bắt đầu với một giới thiệu về cú pháp và thuật ngữ của Prolog, tiếp theo là các bài tập thực hành tập trung vào việc thực hiện các quy tắc và xử lý cấu trúc dữ liệu. Sau đó chúng ta khám phá mô hình thực hiện, bao gồm thống nhất và truy ngược, trước khi áp dụng các khái niệm này vào giải quyết vấn đề thực tế. Chương trình này được thiết kế đặc biệt cho người mới bắt đầu, không có kinh nghiệm lập trình logic, muốn mở rộng khả năng suy nghĩ tính toán của họ. Không cần điều kiện tiên quyết. Bắt đầu khám phá sức mạnh của logic tuyên bố hôm nay.