Writing Declarative Specifications for Clauses.
Martin GebserTomi JanhunenRoland KaminskiTorsten SchaubShahab TasharrofiPublished in: JELIA (2016)
Keyphrases
- attribute grammars
- logical formulas
- high level
- search space
- knowledge representation
- first order logic
- formal specification
- artificial intelligence
- background knowledge
- horn clauses
- specification language
- delay insensitive
- word processing
- written in natural language
- design requirements
- context free
- control flow
- context free grammars
- domain independent
- orders of magnitude
- logic programs
- programming language
- database systems
- case study