On presente une approche logique des bases de donnees utilisant comme domaine d'interpretation l'ensemble des entiers naturels. La logique du premier...
