Foundations of Disjunctive Logic Programmingde Jorge LoboMateriasLogic programming (Computer science)Logic programmingThéorie démonstrationNégationProgrammation logiqueAdjunktionProgrammation déclarativeAdjunktion (Logik)Logique disjonctiveBase donnée déductive