Programmation logique avec des interpréteurs équitables.