[TxMt] [PATCH] Prolog run command