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.