Abstract: This paper presents the scheme of mode inference within the theoreticalframe of abstract interpretation for logic programs. In particular, it discusses the treatment of variable-aliasing and the computation of fixpoints in considerable detail, andputs forward a sound and efficient way to process variable-aliasing and an algorithm tocompute fixpoints based on "extension table" technique. This scheme has been implemented in Prolog.