The purpose of this work is to extend logic programming beyond normal programs, as defined in [Lloy87], and thus beyond(positive) definite clause programming, by allowing also definite negative heads. Thus we admit program clauses with both positive and (classically) negated atoms conjoined in the body, and at most one literal as its head (clauses with… (More)
The diagnosis process consists of discovering the differences between the expected and the real behavior of a system unit, and to identify their faulty components. In this paper we report on the experience of using extended logic programming to build an implementation for diagnosing distributed computer systems. Some issue of the diagnosis process are… (More)
A number of selected papers presented at WINSYS 2010 will be published by Springer-Verlag in a CCIS Series book. This selection will be done by the Conference Co-chairs and Program Co-chairs, among the papers actually presented at the conference, based on a rigorous review by the ICETE 2010 Program Committee members.
The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing. The proof system we propose (SLWV 1 resolution) is defined for a set of clauses in the implicational form (keeping to the form of logic programs), not requiring contrapositives, and has an execution method that respects the execution order of… (More)