论文信息 - A Logical Reconstruction of Prolog II

A Logical Reconstruction of Prolog II

Abstract Colmerauer has proposed a theoretical model for Prolog II based on tree rewriting rather than logic. In this paper, we show that Prolog II can be regarded as a logic programming language.

John W. Lloyd | M. H. van Emden | J. Lloyd | M. H. Emden

[1] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.

[2] Randolph George Goebel. A logic data model for the machine representation of knowledge , 1985 .

[3] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.

[4] William A. Kornfeld. Equality for Prolog , 1983, IJCAI.