Query Evaluation for Sub Implication Using Selection Function
使用选择函数的亚蕴涵询问求值

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.