prolog-dcg

What problem does it solve?

Prolog DCGs provide a concise way to define grammars and parsers by embedding list threading directly into Prolog rules, enabling parsing and generation from a single, bidirectional specification.

Core Features & Use Cases

• DCG syntax and transformation to standard clauses for terminals and nonterminals.
• phrase/2 and phrase/3 interfaces for parsing, recognition, and generation.
• Bidirectional grammars that support both parsing and generation with Prolog backtracking.
• Optional state threading and pushback to handle complex parsing tasks.
• Use Case: quickly prototype a small language grammar and generate sample sentences.

Quick Start

Define a small DCG rule and use phrase/2 to parse a sample input.