Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương
trình logic xác định.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog