Mondes et programmation en logique