论文信息 - Declarative Semantics of Logic Programs on Parameterized Representation Systems - 字舞流文

Declarative Semantics of Logic Programs on Parameterized Representation Systems

Kiyoshi Akama | K. Akama

[1] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[2] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[4] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.

[5] Hideyuki Nakashima,et al. Term Description: A Simple Powerful Extension to Prolog Data Structures , 1985, IJCAI.

[6] Michael J. Maher,et al. Logic Programming Language Scheme , 1986, Logic Programming: Functions, Relations, and Equations.

[7] Hassan Aït-Kaci,et al. LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[8] Martin C. Emele,et al. Typed Unification Grammars , 1990, COLING.