H ? « ‹ ← → › »

Language peer sets for DCG:
France↑
France/1980↑
Designed 1980 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

DCG(ID:1959/dcg001)

alternate simple view
Country: France
Designed 1980

for Definite Clause Grammar

A grammar that differs from context-free grammars by location. DCGs are the generalisation of the Horn-clause logic than underpins Prolog
Related languages
BNF → DCG   Variant
Robinson Unification Logic → DCG   Generalisation of
DCG → WAM   Variant
References:
  • Pereira, F. and Warren, D. H. D. (1980) Pereira, F. and Warren, D. H. D. "Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks." Artificial Intelligence 13(3) May 1980 pp231--278 Abstract
  • Hogger, Christopher (1984) Hogger, Christopher "Introduction to logic programming" Academic Press 1984 Extract: Grammars for logic programming
  • Cohen, Jacques (1985) Cohen, Jacques "Describing Prolog by its interpretation and compilation" Abstract DOI
          in [ACM] (1985) [ACM] CACM 28(12) (Dec 1985)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder