Amalgamating Language and Meta-language for Composing Logic Programs.
Antonio BrogiChiara RensoFranco TuriniPublished in: GULP-PRODE (2) (1994)
Keyphrases
- logic programs
- logic programming
- programming language
- functional programs
- logic programming language
- answer set programming
- declarative semantics
- inductive logic programming
- fixpoint
- stable models
- model theoretic
- natural language
- answer sets
- background knowledge
- term rewriting systems
- operational semantics
- deductive databases
- normal logic programs
- description logics
- propositional theories
- recursive programs
- fixed point semantics