Un système ouvert de programmation Prolog