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. | 92 Journal of Science Phu Yen University 2021 92-99 NGÔN NGỮ DLPA VÀ MỘT SỐ ỨNG DỤNG Võ Thị Như Lý Trường Cao đẳng Công thương miền Trung Ngày nhận bài 03 4 2020 Ngày nhận đăng 08 01 2021 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 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. 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ữ 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 1. Giới thiệu tố thỏa mãn một vài điều kiện được diễn Trong suốt những thập kỷ qua một đạt một cách dễ dàng và tự nhiên bằng mô hình lập trình mới là Lập trình logic ngôn ngữ DLPA. Ngôn ngữ DLPA được áp đã ra đời. Lập trình logic LP chủ yếu dựa dụng để giải quyết được nhiều bài toán thực trên ý tưởng lập trình khai báo ở đó các tế phức tạp chẳng hạn bài toán sắp xếp chỗ chương trình không được tạo ra từ các câu ngồi các bài toán tối ưu hóa của lý thuyết lệnh cũng như từ các hàm mà được tạo ra đồ thị và nhiều dạng suy luận phỏng đoán. chủ yếu dựa trên tập các vị từ. Lĩnh vực 2. Ngôn ngữ DLPA nghiên cứu LP được nhiều nhà khoa học . Cú pháp của ngôn ngữ DLPA quan tâm và đã được áp dụng vào việc biểu . Tập DLPA Armi et. 2003 . diễn và xử lý tri thức phức tạp trong lĩnh Một tập DLPA là một tập ký hiệu hoặc là vực trí tuệ nhân tạo và các lĩnh vực nổi lên một tập nền. Trong đó khác như quản trị tri thức và tích hợp thông - Tập ký hiệu có dạng Vars Conj tin. Hiện nay LP được mở rộng theo nhiều trong đó Vars là một danh sách các biến và hướng khác nhau trong đó ngôn ngữ DLPA Conj là hội của các literal thông thường có một sự mở rộng của LP cho phép các thể chứa các literal âm . hàm kết tập xuất hiện trong các quy tắc của - Tập nền là tập các cặp có dạng chương trình logic. t Conj trong đó t là danh sách các Hàm kết tập có ý nghĩa rất đáng kể hằng và Conj là hội của các literal thông nó cho phép mô hình hóa một cách tự
