sur-couche pour gnuprolog