A definite clause grammar (DCG) is a way of expressing grammatical relationships. They are commonly used with the Prolog programming language. Prolog is a logic programming language. ...
The Chomsky hierarchy is a containment hierarchy of classes of formal grammars that generate formal languages. ... Prolog is a logic programming language. ...