STARLET: un langage pour une programmation logique fiable.