AID: an alternative implementation of DCGs

DOI10.1007/BF03037391zbMath0621.68051OpenAlexW2129060034MaRDI QIDQ1090468

Ulf S. Nilsson

Publication date: 1986

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037391

zbMATH Keywords

logic programmingnondeterminismbacktrackingbottom-up SLR(1)-parsingDEC-10 PROLOGexperimental system AIDimplementation of Definite Clause GrammarsLR(k)-parsing

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) General topics in the theory of software (68N01)

Uses Software

• YACC

Cites Work

• Unnamed Item
• Unnamed Item
• BUP: A bottom-up parser embedded in Prolog
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Relating logic programs and attribute grammars
• Algorithm = logic + control
• A Class of Projective Planes