Includes supplementary material: sn.pub/extras
Manuel Hermenegildo
Compiler Constraint Fusion Processing XML answer set programming code generation constraint languages constraint programming declarative languages functional programming logic logic programming programming semantics