Ngôn ngữ DLPA và một số ứng dụng

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

Từ khóa: Lập trình logic, Ngôn ngữ DLPA, Hệ thống DLV, Chương trình logic dạng tuyển, Lập trình khai báo