Trong bài báo này, chúng ta 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 trí tuệ nhân tạo (AI) Chúng tôi xem xét mở rộng khác nhau của
chương trình logic nhất định (tinh khiết Prolog) 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..