Une nouvelle approche de la programmation en logique.