Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix.