In the implementation of practical PROLOG-DBMS systems,the key issue is to maintain its correctness which is,unfortunately,often affected by extracting redundant facts from data base management systems.This paper presents a new technique called "inter-clause optimization" which can not only keep the system correct but also increase its efficiency by guaranteeing that only useful facts are loaded from DBMS and no fact is loaded more than once.