剪枝算子相关硕士博士期刊学术论文

论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commi......