逻辑语言剪枝算子的过程语义及其实现
라집어언전지산자적과정어의급기실현
Procedural Semantics and its Implementation of Pruning Operators in Logic Programming Language
  • 万方数据
    计算机科学 계산궤과학
    COMPUTER SCIENCE
    2011年 5期 123-126,148 ,共5页

    李慧琪%赵致琢

    리혜기%조치탁

    逻辑程序设计%剪枝算子%延迟计算 邏輯程序設計%剪枝算子%延遲計算
    라집정서설계%전지산자%연지계산
    论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言G(o)del中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,计论了G(o)del语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据.
    논술료라집정서설계중전지산자적작용급전통전지산자적과정성어의화설명성어의불일치문제;개소료신형라집정서어언G(o)del중적commit전지산자;통과인입일조정의묘술기과정어의,병진일보천술료전지산자화연지계산규칙지간적관계,계론료G(o)del어언적전지책략급공제궤제,종이위라집정서어언적실현제공료의거.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문