Trong bài 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 logic lập trình đểkiến thức đại diện trong trí tuệ nhân tạo (AI) chúng ta hãy xem xét các mở rộng khác nhau của(tinh khiết Prolog) logic nhất định các chương trình và hiển thị như thế nào mỗi người trong số các tính năng bổ sung mở rộng sức mạnh representational của ngôn ngữ
đang được dịch, vui lòng đợi..
