This paper describes some optimization techniques applicable to the design of compiler-based PROLOG systems，including execution driven compilation strategies，classification of procedure code，and operating modes for database operation builtins.