DCG

Definite Clause Grammar

A variant of BNF.