Des formules booléennes (quantifiées) à la programmation par ensembles réponses
Résumé
Nous proposons dans cet article une traduction des formulesbooléennes quantifiées vers le paradigme de la programmation par ensembles réponses. Le calcul d’une solution à une formule booléenne quantifiée devient alors équivalent au calcul d’un modèle stable pour un programme logique normal. Le cas des formules propositionnelles est aussi considéré car étant équivalent au cas des formules booléennes quantifiées uniquement existentiellement.