Datalog - Lirmm

Exprimer en datalog les requêtes de la 2e partie de la 2e série d'exercices ( ... les lecteurs qui ne sont inscrits qu'à des bibliothèques ne possédant aucun livre.


Un extrait du document