%0 Journal Article
%T 广义查询的计数算法
%A 李连友
%A 范明
%J -
%D 1994
%X 计数算法是最著名的ＳＬ递归处理算法之一．对于一类称作计数线性的递归，它具有良好的性能．然而，计数算法要求查询的约束集为单值的，因此很难用作子目标的处理策略．本文提供一种新的广义查询计数算法，它能处理任意的多值约束集．从而本文提供的算法不仅能够用于查询的求值，而且也能用于子目标的处理．算法的正确性和变换后的规则的有效性也在本文简略讨论
%K 递归查询
%K 线性递归
%K 广义查询
%K 计数算法
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19941006&flag=1