A method for query evaluation for sub implication using selection function is presented. An algorithm IVAL is developed based on the method. IVAL is more simple and efficient than the algorithm VAL presented by Bossu and Siegel. Both VAL and IVAL are implemented on SUN 4 in C Prolog, and the efficiency of the two algorithms is compared.