CFG有EBNF描述，CSG有什么描述语言？

Question

CFG有EBNF描述，CSG有什么描述语言（除生成句法）？

Answer 1

DCG（Definite Clause Grammars）
https://en.wikipedia.org/wiki/Definite_clause_grammar
http://cs.union.edu/~striegnk/learn-prolog-now/lpnpage.php?pageid=online
http://www.amzi.com/manuals/amzi/pro/ref_dcg.htm