sql_compiler-OLD:Draxler Prolog到SQL编译器

序言index_util 缓存调用序言目标的所有结果 例子： use_module(library(index_util)). anc(A,B) :- isa(A,B). anc(A,B) :- isa(A,Z),anc(Z,B). ix :- materialize_index(anc(1,1)). redundant_isa(A,B) :- isa(A,B), anc(A,Z), anc(Z,B). 使用此功能时，为了枚举所有可能的anc/2事实，首先可以选择调用ix/0 。 索引也可以持久保存到磁盘 与索引/ 1的比较 该模块是在swi-prolog在所有参数上引入即时索引之前创建的，从而消除了对index / 1的需要。 但是，index_utils对于非单位子句（规则）仍然有用，在这种情况下，每次都需要重新计算基本术语 与制表比较 该模块是