A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.
Dante BaldanBaudouin Le CharlierChristophe LeclèreIsabelle PolletPublished in: LOPSTR (1998)
Keyphrases
- declarative semantics
- deductive databases
- logic programming
- logic programming language
- logic programs
- operational semantics
- san jose
- partial order
- defeasible reasoning
- knowledge representation and reasoning
- fixpoint semantics
- stable models
- integrity constraints
- fixpoint
- constraint logic programming
- databases
- query evaluation
- programming language
- xml documents
- knowledge base