Bài giảng Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog - Lê Thanh Hương
Cú pháp
Chương trình là tập các mô tả logic vị từ
dưới dạng chuẩn Horn
Không có cấu trúc điều khiển (rẽ nhánh, lặp)
Không có phép gán
Vị từ được diễn giải thông qua sự kiện và
luật, kết thúc bằng ký tự ‘.’.
Prolog trả lời các câu hỏi nhờ cơ chế suy
luận dựa trên kiến thức được cung cấp
Bài giảng Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog - Lê Thanh Hương trang 1
Bài giảng Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog - Lê Thanh Hương trang 2
Bài giảng Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog - Lê Thanh Hương trang 3
Bài giảng Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog - Lê Thanh Hương trang 4
Bài giảng Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog - Lê Thanh Hương trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_tri_tue_nhan_tao_chuong_5_ngon_ngu_lap_trinh_prolo.pdf
