Logic Programming Language DLPA and its applications

Abstract

In this paper, we summarize some syntax, semantics and semantic properties of the Logic Programming Language DLP^A which is also simply called Disjunctive logic program with Aggregate Functions. We also demonstrate some applications in using the Logic Programming Language DLP^A implemented in the Datalog plus Vel (DLV) system.

Keywords: Logic Programming, DLP^A Language, DLV system.