Declarative Semantics for Functional Languages.

Published in: Arch. Formal Proofs (2017)

Keyphrases

declarative semantics
deductive databases
logic programming
logic programming language
logic programs
operational semantics
expressive power
defeasible reasoning
fixpoint
fixpoint semantics
databases
artificial intelligence
stable models
constraint logic programming
probabilistic model
database systems
high level