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ả.

Từ khóa: 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