His analysis bears upon the subtle issue of representational adequacy discussed earlier, where it was suggested that conventional Prolog might adequately simulate higher order analyses. Although the examples in his paper are given in the unification grammar notation used in the Core Language Engine developed by SRI s Cambridge Research Center, they are translated into equivalent DCGs here for consistency s sake. Fernando C. N. Pereira. Semantic interpretation as higher-order deduction . In Proceedings of the Second European Workshop on Logics and AI, Springer-Verlag, September 1990.
Harrop formulas allow universal quantifications in the bodies of clauses.
Fernando C. N. Pereira. Semantic interpretation as higher-order deduction . Neither of these approaches use or the of course operator and, hence, the apparent modal distinction between noun phrase as subject or object cannot be captured directly in them. Fernando C. N. Pereira. Semantic interpretation as higher-order deduction .