A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation.
Danny De SchreyeBern MartensPublished in: CNKBS (1992)
Keyphrases
- logic programming
- programming language
- logic programs
- first order logic
- formal semantics
- default reasoning
- formal language
- semantics for logic programs
- proof theoretic
- argumentation semantics
- stable models
- semantic information
- deductive databases
- programming environment
- data exchange
- declarative semantics
- proof theory
- semantically equivalent
- domain knowledge
- artificial intelligence
- data sets