Colmerauer, A. "Les Bases Thoriques de PROLOG." Groupe d'Intelligence Artificielle, U. E. R. de Luminy, Universit d'AixMarseille II, 1979. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Extraposition Grammars - Pereira (1981) (7 citations) (Correct)
....definite clauses would require a formal apparatus very similar to the one needed to formalise definite clause programs in the first place, and so it would fall outside the scope of the present paper. The interested reader will find a full discussion of those issues in two articles by Col merauer [2,3]. Like a DCG, a general XG is no more than a con venient notation for a set of definite clauses. An XG non terminal of arity n corresponds to an n 4 place predicate (with the same name) Of the extra four arguments, two are used to represent string positions as in DCGs, and the other two are ....
Colmerauer, A. "Les Bases Thoriques de PROLOG." Groupe d'Intelligence Artificielle, U. E. R. de Luminy, Universit d'AixMarseille II, 1979.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC