Advance Search
    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

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

      Graphical Abstract
      • 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.
      • FullText(HTML)
    • loading
      • References (0)
      • Related Articles

    Catalog

      Turn off MathJax
      Article Contents

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return