本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法ＩＶＡＬ。这种方法比Ｂｏｓｓｕ和Ｓｉｅｇａｌ的算法ＶＡＬ简便，效率高。ＩＶＡＬ和ＶＡＬ同时在ＳＵＮ－４上用Ｃ－Ｐｒｏｌｏｇ语......