| Definite Clause
Grammar (DCG) |
|
|
|
|
|
|
|
|
|
|
|
|
|
| l | Each grammar
rule is a definite clause in logic: |
|||||||||||
| l | S NP VP |
|||||||||||
| l | NP(s1) VP(s2) S(s1 + s2) |
|||||||||||
| l | NP(case) Pronoun(case) |
|||||||||||
| l | Pronoun(case, s1)
NP(case, s1) |
|||||||||||
| l | DCG enables
parsing as logical inference: |
|||||||||||
| l | Top-down parsing
is backward chaining |
|||||||||||
| l | Bottom-up parsing
is forward chaining |
|||||||||||
