add to compiler prolog code compile function.