论文信息 - Metamorphosis Grammars - 字舞流文

Metamorphosis Grammars

Alain Colmerauer | A. Colmerauer

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

[2] Robert A. Kowalski,et al. Linear Resolution with Selection Function , 1971, Artif. Intell..

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