Treating Coordination with Datalog Grammars
Veronica Dahl, Paul Tarau, Lidia Moreno, Manolo Palomar

TL;DR
This paper introduces a variant of Datalog grammars inspired by database theory, enabling a meta-grammatical approach to coordination that improves upon previous logic grammar methods, with promising efficiency and flexibility.
Contribution
It proposes a new variant of Datalog grammars that facilitates meta-grammatical treatment of coordination, advancing logic grammar techniques.
Findings
Improved efficiency over traditional DCGs with OLDT-resolution
Enhanced meta-grammatical handling of coordination
Initial evidence of advantages over previous logic grammar approaches
Abstract
In previous work we studied a new type of DCGs, Datalog grammars, which are inspired on database theory. Their efficiency was shown to be better than that of their DCG counterparts under (terminating) OLDT-resolution. In this article we motivate a variant of Datalog grammars which allows us a meta-grammatical treatment of coordination. This treatment improves in some respects over previous work on coordination in logic grammars, although more research is needed for testing it in other respects.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Logic, Reasoning, and Knowledge · Advanced Database Systems and Queries
