DCG

Definite Clause Grammar