Translation Into Definite Clauses
DCG notation is just syntactic sugar for normal definite clauses in Prolog. For example, the previous example could be translated into the following:
sentence(S1,S3) :- noun_phrase(S1,S2), verb_phrase(S2,S3). noun_phrase(S1,S3) :- det(S1,S2), noun(S2,S3). verb_phrase(S1,S3) :- verb(S1,S2), noun_phrase(S2,S3). det(, X). det(, X). noun(, X). noun(, X). verb(, X).Read more about this topic: Definite Clause Grammar
Famous quotes containing the words translation and/or definite:
“Any translation which intends to perform a transmitting function cannot transmit anything but information—hence, something inessential. This is the hallmark of bad translations.”
—Walter Benjamin (1892–1940)
“What are these essays but grotesque and monstrous bodies, pieced together of different members, without any definite shape, without any order, coherence, or proportion, except they be accidental?”
—Michel de Montaigne (1533–1592)