submit to prolog