Title: Foundations of Disjunctive Logic Programming
Subjects: Logic programming (Computer science), Logic programming, Théorie démonstration, Négation, Programmation logique, Adjunktion, Programmation déclarative, Adjunktion (Logik), Logique disjonctive, Base donnée déductive, Programmation en logique, Logische Programmierung, Computer programs