A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming.
Bern MartensDanny De SchreyePublished in: JICSLP (1992)
Keyphrases
- logic programming
- programming language
- logic programs
- formal semantics
- domain specific languages
- first order logic
- programming environment
- deductive databases
- meta reasoning
- declarative semantics
- machine learning
- semantic information
- inductive logic programming
- computer programming
- conceptual model
- function symbols
- artificial intelligence
- answer set programming
- programming course
- operational semantics
- knowledge base