On fait de la programation logique maintenant.