update document for rbprolog.rb