VEGA: une nouvelle méthode de programmation en logique.