1 Giới thiệu
Trong bài báo này, chúng tôi xem xét công việc gần đây nhằm vào các ứng dụng của lập trình logic để biểu diễn tri thức trong trí tuệ nhân tạo (AI). Chúng tôi xem xét các phần mở rộng khác nhau của "tinh khiết Prolog" (chương trình logic nhất định) và hiển thị như thế nào mỗi tính năng bổ sung mở rộng sức mạnh biểu hiện của ngôn ngữ.
đang được dịch, vui lòng đợi..
