The translator from second-order logic under stable model to logic programs