Fondements de la programmation logique, John… · Super Livre