Definite Clause Grammars

Original publication:

Fernando C. N. Pereira, David H. D. Warren: Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artif. Intell. 13(3): 231-278(1980)

Extended DCG's and Logical State Threads by Peter Van Roy

Peter Van Roy: A Useful Extension to Prolog's Definite Clause Grammar Notation. SIGPLAN Notices 24(11): 132-134

Logical State Threads is a package for SICStus Prolog and compatible systems that simplifies the development of large Prolog programs. A beta version has been released in January 1997. The package was designed by Andreas Kågedal, Peter Van Roy and Bruno Dumant, and written mostly by Andreas Kågedal. The package greatly increases the power of Extended DCG's, yet is extremely simple to understand and use. It includes powerful operators for scoping and composition of accumulators. This makes it especially useful for the practical development of large, applicative ("pure") programs in Prolog. You can find the package at ftp://ftp.info.ucl.ac.be/pub/prolog_threads/

DCG-Terms by Andrew Davison

Andrew Davison: Parsing with DCG-terms. LPAR 1993: 98-109
Andrew Davison, Elizabeth Haywood: Parse Tree Notation. Department of Computer Science, University of Melbourne, TR 94/6, March 1994, Postscript
Andrew Davison, Elizabeth Haywood: Parse Tree Notation. Logic Programming Newsletter 7(3): WWW-Page

Definite Clause Set Grammars

Takushi Tanaka: Definite-Clause Set Grammars: A Formalism for Problem Solving. J. Log. Program. 10(1/2/3&4): 1-17(1991)
Takushi Tanaka: Parsing Electronic Circuits in a Logic Grammar. IEEE Trans. Knowl. Data Eng. 5(2): 225-239(1993)

Other Extensions

Amy P. Felty: Definite Clause Grammars for Parsing Higher-Order Syntax. ILPS 1993: 668
Remo Pareschi, Dale Miller: Extending Definite Clause Grammars with Scoping Constructs. ICLP 1990: 373-389

Applications

David B. Searls: Investigating the Linguistics of DNA with Definite Clause Grammars. NACLP 1989: 189-208

...

Ulf Nilsson: AID: An Alternative Implementation of DCGs. New Generation Comput. 4(4): 383-399(1986)
Yuji Matsumoto, Hozumi Tanaka, Hideki Hirakawa, Hideo Miyoshi, Hideki Yasukawa: BUP: A Bottom-Up Parser Embedded in Prolog. New Generation Comput. 1(2): 145-158(1983)
François Barthélemy: A Grammatical Approach to DCG Parsing. ICLP 1994: 632-646
Mark-Jan Nederhof: A New Top-Down Parsing Algorithm for Left-Recursive DCGs. PLILP 1993: 108-122