高级检索
    周训伟. PROLOG的说明性语义和过程性语义之间的循环论证[J]. 北京工业大学学报, 1990, 16(4): 87-90.
    引用本文: 周训伟. PROLOG的说明性语义和过程性语义之间的循环论证[J]. 北京工业大学学报, 1990, 16(4): 87-90.
    shu
    Zhou Xunwei. Circular Argument Between the Declarative Semantics and the Procedural Semantics of PROLOG[J]. Journal of Beijing University of Technology, 1990, 16(4): 87-90.
    Citation: Zhou Xunwei. Circular Argument Between the Declarative Semantics and the Procedural Semantics of PROLOG[J]. Journal of Beijing University of Technology, 1990, 16(4): 87-90.
    shu

    PROLOG的说明性语义和过程性语义之间的循环论证

    Circular Argument Between the Declarative Semantics and the Procedural Semantics of PROLOG

      摘要
    • 摘要: 对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。

       

      Abstract: The author expresses his different viewpoint with reference(Ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG. The paper reveals that there exists a circular argument between the two semantics which also exists between model theory and proof theory of mathematical logic.

       

      • HTML全文
      • 参考文献(0)
      • 相关文章
      • 施引文献
    • 资源附件(0)

    /

    返回文章
    返回