Ngôn ngữ lập trình - Chương 9

Nguyễn Văn Linh - Programing Language - Chapter

2

1

CHƯƠNG 9:

LẬP TRÌNH LOGIC

GIỚI THIỆU.

• Bài toán được mô tả dưới dạng biểu thức

logic các vị từ.

• Để giải được bài toán, cần có một cơ sở tri

thức.

• Khi có một yêu cầu, hệ thống sẽ dựa vào

cơ sở tri thúc để suy diễn.

NGÔN NGỮ PROLOG.