Ngôn ngữ DLPa và một số ứng dụng

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Thị Như Lý Võ

Ngôn ngữ: Vie

Ký hiệu phân loại: 418 Standard usage (Prescriptive linguistics) Applied linguistics

Thông tin xuất bản: Tạp chí Khoa học Trường Đại học Phú Yên, 2021

Mô tả vật lý: 92-99

Bộ sưu tập: Metadata

ID: 395425

Thêm vào giỏ Liên kết toàn văn

Tóm tắt
Chủ đề

Trong bài báo này, chúng tôi xem xét cú pháp và ngữ nghĩa của ngôn ngữ lập trình logic DLPA cùng các tính chất ngữ nghĩa của ngôn ngữ DLPA, được gọi đơn giản là chương trình logic dạng tuyển kết tập. Chúng tôi cũng trình bày một số ứng dụng điển hình sử dụng ngôn ngữ DLPA chạy trên hệ thống lập trình DLV., Tóm tắt tiếng anh, In this paper, we summarize some syntax, semantics and semantic properties of the Logic Programming Language DLPA which is also simply called Disjunctive logic program with Aggregate Functions. We also demonstrate some applications in using the Logic Programming Language DLPA implemented in the Datalog plus Vel (DLV) system.

Tạo bộ sưu tập với mã QR