Abstract: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.