Paraconsistent Annotated Logic Programming – Paralog

Inconsistency is a natural phenomenona rising from the description of the real world. This phenomenon may be encountered in several situations. Nevertheless, human beings are capable of reasoning adequately. The automation of such reasoning requires the development of formal theories. Paraconsistent Logic provides tools to reason about inconsistencies. Though inconsistency is an increasingly common phenomenon in programming environments it cannot be handled, at least directly, by Classical logic, on which most of the current logic programming languages are based. Thus, one has to resort to altematives to classical logic ; it is therefore necessary to search for progtamming langages based on such alternatives. Paraconsistent logic, despite having been initially developed from the purely theoretical standpoint, found in recent years extremely fertile applications in Computer Science, thus solving the problem of justifying such logic systems from the practical standpoint. This work proposes a variation of the logic programming langage Prolog that allows inconsistency to be handled directly. The proposed langage was dubbed Paralog.