Keyphrases
- program synthesis
- operational semantics
- definition language
- formal semantics
- rule language
- predicate calculus
- recursive programs
- lexical semantics
- logic programming
- machine processable
- high level
- relational learning
- semantic information
- language constructs
- artificial intelligence
- data mining
- precisely defined
- databases
- database