Effectiveness in RPL, with applications to continuous logic