NGÔN NGỮ DLPA VÀ MỘT SỐ ỨNG DỤNG

Tóm tắt

Trong bài báo này, chúng tôi xem xét cú pháp và ngữ nghĩa của ngôn ngữ lập trình logic DLP^A cùng các tính chất ngữ nghĩa của ngôn ngữ DLP^A, được gọi đơn giản là chương trình logic dạng tuyển kết tập. Chúng tôi cũng trình bày một số ứng dụng điển hình sử dụng ngôn ngữ DLP^A chạy trên hệ thống lập trình DLV.

            Từ khóa: Lập trình logic, ngôn ngữ DLP^A, hệ thống DLV