Abstract FR:

Un nouveau paradigme de calcul appelé programmation ensembliste, est présente. La notion de programme ensembliste est définie et une théorie du modèle construite. Des règles d'inférence, correctes et complètes pour cette sémantique, sont données. Snail est une extension compatible de prolog dont la sémantique déclarative est celle de la programmation ensembliste